Constrain.hascasl revision ad97909f160c13effd3bc73155aaa2c29902a5a1
class Eq
class Ord < Eq
type a : Ord
op f : forall e : Ord . e -> e
op c : a
. f (f c) = c
type t : Eq
op b : t
. f b = b