On Sun, Sep 10, 2006 at 10:08:22AM +0400, Bulat Ziganshin wrote: > we can improve readability of various declarations by using the same > scheme: > > class Monad m | Functor m, Monoid m where ... > > instance Monad (WriterT m) | Monad m where ... > > sequence :: [m a] -> m [a] | Monad m
I am not entirely sure, but I think this syntax for type class context is used in the Concurrent Clean language. Best regards Tomasz _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
