typeside t schema s1 : t schema s2 : t schema s3 : t query q12 : s1 -> s2 query q13 : s1 -> s3 ---------------------------------- query (rext q12 q13) : s2 -> s3