abhidivmuk codes/lectures/presentation about learning Free Monads http://www.andres-loeh.de/Free.pdf https://skillsmatter.com/skillscasts/4430-monads-for-free Software Foundations http://www.cis.upenn.edu/~bcpierce/sf/current/toc.html