úÎE     5rank2 types, type operators, type families (optional) provisionalEdward Kmett <ekmett@gmail.com>* !"#$%&'()    *       !"##$eq-0.1.0 Data.Eq.TypesubstRefl:=reflcoercetranssymmliftlift2lift2'lift3lift3'lowerlower2lower3uncoerceCoerceunsymmSymmunliftLiftunlift2Lift2unlift3Lift3InjunlowerLowerInj2unlower2Lower2Inj3unlower3Lower3