AOP.Internal.PolyTypeable

data TVar a

data TCon0 c

data TCon1 c a1

data TCon2 c a1 a2

data TCon3 c a1 a2 a3

data TCon4 c a1 a2 a3 a4

data TCon5 c a1 a2 a3 a4 a5

class Analyze a b

analyze

class PolyTypeable a

class MyTypeable' g0 gout classification

class MyTypeable'' n g0 gout classification

mkany

class HIndex x l n

class HIndex' f x l n

class HLen l n

data Z

data S a

class Nat a

data HTrue

data HFalse

data HNil

data HCons a b

class TypeEq x y b

class TypeEq' q x y b

class TypeEq'' q x y b