Maybe is a type constructor (not a value constructor)