-- so for now we just check that it's the identity
check_same actual expected
= do { coi <- unifyType actual expected
- ; unless (isIdentityCoI coi) $
+ ; unless (isReflCo coi) $
failWithMisMatch [UnifyOrigin { uo_expected = expected
, uo_actual = actual }] }