pny1-assignment College assignment writing in which I ramble about type classes and dependent types. The primary document is DepTC.md.