Data.MultiGenerics
data Fix f ix
data family Sing a
class SingI a
class ShowM f
class EqM f
type GenM f
class ArbitraryM f
class Generic1m f
data V1m p ix
data U1m p ix
data Par1m xi p ix
data Rec1m f xi p ix
data K1m i c p ix
data (f :++: g) p ix
data (f :**: g) p ix
data Tag1m f xi p ix