fp2/week2/mart/StdMaybeMonad.dcl

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