partial support for "shifted parametricity"