3 ms·

I believe the technique is relational parametricity, but I don't actually know how to apply it in this case.