20 Jul
2011
20 Jul
'11
2:46 p.m.
On Wed, Jul 20, 2011 at 10:07 PM, Ryan Trinkle
The following code doesn't compile, but it seems sensible enough to me. Is this a limitation of GHC or is there something I'm missing?
class C (A x) => C x where type A x :: *
Did you mean class (A x) => C x where type A x :: * -- Anupam