Practical Benefits of Algebraic Data Types This repository houses several documents around the productive use of algebra in the development of software.