instance == Op1 where (==) o1 o2 = gEq{|*|} o1 o2
instance < Op2 where (<) o1 o2 = toString o1 < toString o2
instance < Op1 where (<) o1 o2 = toString o1 < toString o2
instance == Op1 where (==) o1 o2 = gEq{|*|} o1 o2
instance < Op2 where (<) o1 o2 = toString o1 < toString o2
instance < Op1 where (<) o1 o2 = toString o1 < toString o2