programming languages with ADTs should have syntax for bijections
it's just so tedious to copy out a case statement and flip the left and the right

programming languages with ADTs should have syntax for bijections
it's just so tedious to copy out a case statement and flip the left and the right