Works well enough to give the parametricity proof for List.map (for Set₀)