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

Thanks for all the feedback. It did help me a lot. Now I know that if there is something left to discuss the topic should be: Would it make sense to specify partial type declarations ? I don't need an answer right now. Marc