Return to Article Details Constraining (shifting) types at the interface Download Download PDF