typeside t schema s : t instance i1 : s instance i2 : s instance i3 : s transform h12 : i1 -> i2 transform h23 : i2 -> i3 ---------------------------------- transform [h12 ; h23] : i1 -> i3