Functors to Monads: A Story of Shapes
blog.jle.im