Data.Ty
class
Typeable
k a
data
Ty
a
tyRep
ty
tyOf
tyOf1
tyOf2
(=:=)
data
AsPairTy
asPairTy