Parametricity, Set→★, ...