typeside t schema s1 : t schema s2 : t instance i : s1 ---------------------------------- query (fromInstance i) : s1 -> unit : t