-- and then do an occurs check.
canEqLeafOriented fl cv (VarCls tv) s2
| isGiven fl && not (k1 `eqKind` k2) -- Establish the kind invariant for CTyEqCan
-- and then do an occurs check.
canEqLeafOriented fl cv (VarCls tv) s2
| isGiven fl && not (k1 `eqKind` k2) -- Establish the kind invariant for CTyEqCan