Topaz.Types

data Elem rs r

data Rec

data NestRec

data Fix f

data HFix h a

data Nest a

class EqHetero h

class TestEqualityHetero h

type family (as :: [k]) ++ (bs :: [k]) :: [k] where ...