Notes on Algebra and Recursive Data Types - View it on GitHub