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