Why the free Monad isn't free - by Kelley Robinson