-
chak@cse.unsw.edu.au. authored
- The test for being able to derive the requested classes needs to be made with the representation tycon (not the family tycon). - Standalone deriving for indexed types requires the instance types in the derive clause to match a data/newtype instance exactly (modulo alpha).
3548802d