typeside t schema s : t instance i1 : s instance i2 : s ---------------------------------- transform (except_return i1 i2) : except i1 i2 -> i1