úÎF      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 *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.4Data.Ty Data.Proof.EQ Data.IsTybaseData.Typeable.InternalTypeable:=:ReflliftEqliftEq2liftEq3liftEq4commEqtransEqIsTy2IsTy2ConstrainttyEq2IsTyIsTyConstrainttyEqAsPairTyPairTyTytyReptytyOftyOf1tyOf2=:=asPairTyYes2Yes $fYes2fab$fYesfaTypeRep Data.MaybeJustpairCon$fIsTyTy$fShowTy