New ICFP functional pearl on subtracting bijections

Kenny Foner and I have a paper accepted to ICFP on subtracting bijections. Here’s the basic problem: suppose you have a bijection $latex h$ between two sum types, $latex h : A + B \leftrightarrow A…