
20 Oct
2011
20 Oct
'11
3:14 p.m.
On 18 October 2011 13:49, bob zhang
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