On Sat, Jan 8, 2011 at 5:07 PM, Tony Morris <[email protected]> wrote: > > Thanks guys for all the solutions. A slight correction below. > > On 09/01/11 03:54, David Menendez wrote: >> >> Naturally, if you also have pure and fmap, you also have a monad. > You have a pointed functor but not necessarily a monad.
You perhaps missed the word "also". If you have join, and you also have pure and fmap, then you have a monad. That's admittedly a little fuzzy about what it means to have join, since the laws join must satisfy are defined in terms of fmap and pure. -- Dave Menendez <[email protected]> <http://www.eyrie.org/~zednenem/> _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
