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

[Tomasz Zielonka]

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