Open srid opened 2 years ago
data Iso α β = Iso (α → Maybe β) (β → Maybe α)
https://www.mathematik.uni-marburg.de/~rendel/rendel10invertible.pdf
https://www.mathematik.uni-marburg.de/~rendel/rendel10invertible.pdf