4 ms·you can do a maybe monad without nil types by substituting nil with a single-valued singleton typeby p4lindromica 9y agoyou can do a maybe monad without nil types by substituting nil with a single-valued singleton type