On Sun, Aug 28, 2011 at 7:41 AM, Tony Morris <[email protected]> wrote: > Pointed f => Pointed (StateT s f) > > but not > > Applicative f => Applicative (StateT s f)
But we do have
(Functor m, Monad m) => Applicative (StateT s m)
so I'm not sure if this is a valid example.
Cheers,
--
Felipe.
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
