definition module StdMaybeMonad

import StdMonad

:: Maybe a = Nothing | Just a

instance return	Maybe
instance >>=	Maybe
instance fail   Maybe