Check that AT instance is in a class
[ghc-hetmet.git] / compiler / types / Generics.lhs
2006-08-15 simonpj@microsoft.comReject derivable type classes with higher-rank methods
2006-04-07 Simon MarlowReorganisation of the source tree