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