> >liftIOtoMyMonad_ :: IO () -> MyMonad () > >liftIOtoMyMonad_ m = liftIOtoMyMonad' (const m) () I'm having problems compiling this one: "The last statement in a 'do' construct must be an expression"