24 Dec
2010
24 Dec
'10
7:43 a.m.
On Fri, 2010-12-24 at 05:36 -0500, Edward Kmett wrote:
+1 for adding Comonads. As an aside, since Haskell doesn't have (nor could it have) coexponential objects, there is no 'missing' Coapplicative concept that goes with it, so there can be no objection on the grounds of lack of symmetry even if the Functor => Applicative => Monad proposal goes through.
There is still potentially useful Copointed/CoPointed: class [Functor a =>] CoPointed a where copoint :: f a -> a Regards