typeside t schema s1 : t schema s2 : t mapping m : s2 -> s1 instance i : s1 ---------------------------------- instance (delta m i) : s2