Update 2025-10-09: I’ve written a much clearer explanation of what’s going on in this paper.| reasonablypolymorphic.com
