Discussion about the ConstraintKinds extension

[Max Bolingbroke]

On 18 October 2011 13:49, bob zhang <bobzhang1988 at gmail.com> wrote:
>     In my contrived example the definition of class C is like this
>         class C c where { foo :: c Int => ....}
>         class C B => B a where { ...}
>     will this pass under your proposal?

Yes I would allow this to pass.

If this would be enough to support what you want to do I'm happy to
make the change.

Max