1 2 3 4 5 6 7 8 9
definition module StdMaybeMonad import StdMonad :: Maybe a = Nothing | Just a instance return Maybe instance >>= Maybe instance fail Maybe