úÎ{½     GADTs, type operators provisionalEdward Kmett <ekmett@gmail.com>          eq-0.2.0 Data.Eq.Type:=Refltranssymmcoerceliftlift2lift2'lift3lift3'lowerlower2lower3subst