Maybe
data Maybe a