Hello Marc, Sunday, February 18, 2007, 7:32:54 PM, you wrote:
> When using your example (Monad IO): > class (Monad m) => MonadIO m where > liftIO :: IO a -> m a > it it basically the same, isn't it? This declaration forces m to be monad.. > which would't hurt if GHC would infer m beeing a monad automatically? it is more explicit. for example, this simplifies understanding of error messages generated by compiler. and, if you change 'class' declaration, this will not silently change meaning of 'instance' declaration -- Best regards, Bulat mailto:[EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
