úÎu      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.net Safe-Inferred *Type class for typed type representations       experimentalconal@conal.netNone Phantom 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.0Data.Ty Data.Proof.EQ Data.IsTybaseData.Typeable.InternalTypeable:=:ReflliftEqliftEq2liftEq3liftEq4commEqtransEqIsTytyEqAsPairTyPairTyTytyReptytyOftyOf1tyOf2=:=asPairTyTypeRep Data.MaybeJustpairCon$fIsTyTy$fShowTy