úέ      experimentalconal@conal.net Safe-InferredType 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.netNone *Type class for typed type representations       experimentalconal@conal.netNonePhantom type wrapper around a  The  of a value The + of a value from a constructor application The 2 of a value from a nested constructor application Equality of typed values.  # means the the types match and the  values match.             !"#$ty-0.1.2Data.Ty Data.Proof.EQ Data.IsTybaseData.Typeable.InternalTypeable:=:ReflliftEqliftEq2liftEq3liftEq4commEqtransEqIsTyIsTyConstrainttyEqAsPairTyPairTyTytyReptytyOftyOf1tyOf2=:=asPairTyYes$fYesfaTypeRep Data.MaybeJustpairCon$fIsTyTy$fShowTy