[Haskell-cafe] Codensity improvement of free monads