typeside t schema s1 : t schema s2 : t instance i : s1 ---------------------------------- transform (distinct_return i) : i -> distinct i