This is the paper that introduced them to FP, if you’re interested in the original reasoning. https://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baasta

This is the paper that introduced them to FP, if you’re interested in the original reasoning. https://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf https://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/b...