ensured unification ignores ascription