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