úÎSw      (c) Conal Elliott 2009BSD3conal@conal.net experimentalSafe%&DQRType equality proof+Lift proof through a unary type constructor>Lift proof through a binary type constructor (including '(,)')@Lift proof through a ternary type constructor (including '(,,)')DLift proof through a quaternary type constructor (including '(,,,)') Commutativity Transitivity(c) Conal Elliott 2009BSD3conal@conal.net experimentalNone *9;<=DQR )Type class for typed type representations )Type class for typed type representations       (c) Conal Elliott 2009BSD3conal@conal.net experimentalNone %&*DMQRTPhantom type wrapper around a  The  of a valueThe * of a value from a constructor applicationThe 1 of a value from a nested constructor applicationEquality of typed values. ! 1 means the the types match and the values match."#   "#$      !"#$%&'()*ty-0.1.7-C0yZ12znUVqwDBeDjyMkYData.Ty Data.Proof.EQ Data.IsTybaseData.Typeable.InternalTypeable:=:ReflliftEqliftEq2liftEq3liftEq4commEqtransEqIsTy2IsTy2ConstrainttyEq2Yes2IsTyIsTyConstrainttyEqYes $fYes2fab$fYesfaAsPairTyPairTyTytyReptytyOftyOf1tyOf2=:=asPairTy$fIsTyTy$fShowTy$fEqTyTypeRepGHC.BaseJustpairCon