Free Monads and the Yoneda Lemma - Higher OrderLast week I gave a talk on Purely Functional I/O at Scala.io in Paris. The slides for the talk are available here. In it I presented a data type for IO that is supposedly a “free monad”. But the monad I presented is not exactly the same as scalaz.Free and some people have been asking me why there is a difference and what that difference means. IO as an application of Free The Free monad in Scalaz
