Data.Some

data Some tag

withSome