typeside t schema s1 : t schema s2 : t schema s3 : t query q12 : s1 -> s2 query q23 : s2 -> s3 ---------------------------------- query [q12 ; q23] : s1 -> s3