Re[4]: [Haskell-cafe] Why do I have to specify (Monad m) here again?