eqConLike :: ConLike -> ConLike -> Bool
eqConLike x y = getUnique x == getUnique y
eqConLike :: ConLike -> ConLike -> Bool
eqConLike x y = getUnique x == getUnique y
eqConLike x y = getUnique x == getUnique y