[Haskell] Proposal: unification of style of function/data/type/class definitions

Tomasz Zielonka 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
> 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

More information about the Haskell mailing list