Darcs.Witnesses.Ordered
data EqCheck
data a1 :> a2
data a1 :< a2
data a1 :\/: a2
data a1 :/\: a2
data a1 :||: a2
data FL a
data RL a
data Proof a
class MyEq p
data a1 :>> a2