typeside t schema s1 : t schema s2 : t query q : s1 -> s2 ---------------------------------- schema (cod_q q) : t