College assignment writing in which I ramble about type classes and dependent types. - View it on GitHub