Comments on: Free Monads for Less (Part 2 of 3): Yoneda http://comonad.com/reader/2011/free-monads-for-less-2/ types, (co)monads, substructural logic Sat, 29 Dec 2012 15:18:06 -0800 http://wordpress.org/?v=2.8.4 hourly 1 By: Philip J-F http://comonad.com/reader/2011/free-monads-for-less-2/comment-page-1/#comment-104638 Philip J-F Fri, 27 Apr 2012 05:01:00 +0000 http://comonad.com/reader/?p=243#comment-104638 shouldn't the type of improve be Functor f => (forall m. MonadFree f m => m a) -> Free f a instead of (forall a. MonadFree f m => m a) -> Free f a shouldn’t the type of improve be

Functor f => (forall m. MonadFree f m => m a) -> Free f a

instead of

(forall a. MonadFree f m => m a) -> Free f a

]]> By: Edward Kmett http://comonad.com/reader/2011/free-monads-for-less-2/comment-page-1/#comment-61478 Edward Kmett Sat, 25 Jun 2011 22:13:08 +0000 http://comonad.com/reader/?p=243#comment-61478 Fixed. Fixed.

]]> By: Mathnerd314 http://comonad.com/reader/2011/free-monads-for-less-2/comment-page-1/#comment-61475 Mathnerd314 Sat, 25 Jun 2011 22:01:30 +0000 http://comonad.com/reader/?p=243#comment-61475 Your blog theme cuts off the type for ScottFree Your blog theme cuts off the type for ScottFree

]]>