úÎ M [      experimentalconal@conal.net Safe-InferedType equality proof ,Lift proof through a unary type constructor 8Lift proof through a binary type constructor (including '(,)') 9Lift proof through a ternary type constructor (including '(,,)') <Lift proof through a quaternary type constructor (including '(,,,)') Commutativity  Transitivity  experimentalconal@conal.net Safe-Infered *Type class for typed type representations       experimentalconal@conal.net Safe-Infered Phantom type wrapper around a  The   of a value           ty-0.0.2Data.Ty Data.Proof.EQ Data.IsTybaseData.Typeable.InternalTypeable:=:ReflliftEqliftEq2liftEq3liftEq4commEqtransEqIsTytyEqTytyReptytyOfTypeRep$fIsTyTy$fShowTy