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