typeside t schema s : t instance i1 : s instance i2 : s transform h : i1 -> i2 ---------------------------------- instance (dom_t h) : s