Data.Type.HasClass

data TDict c t

class HasClass c t b

class And a b c