[Haskell] Proposal: unification of style of
tomasz.zielonka at gmail.com
Sun Sep 10 12:49:15 EDT 2006
On Sun, Sep 10, 2006 at 10:08:22AM +0400, Bulat Ziganshin wrote:
> we can improve readability of various declarations by using the same
> 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.
More information about the Haskell