Brent Yorgey and Kenneth Foner. What’s the difference? A Functional Pearl on Subtracting Bijections. In Proc. International Conference on Functional Programming, 2018.