[p4lindromica]

you can do a maybe monad without nil types by substituting nil with a single-valued singleton type