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
signature.asc
Description: This is a digitally signed message part
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
