[Haskell] A collection of related proposals regarding monads

[Taral]

On 1/5/06, Cale Gibbard <cgibbard at gmail.com> wrote:
> class Applicative m => Monad m where
>     m >>= f = join (map f m)
>
>     instance PointedFunctor m where
>         require return
>         map f x = x >>= (return . f)

Um, it looks like map and (>>=) are recursive...

--
Taral <taralx at gmail.com>
"Computer science is no more about computers than astronomy is about
telescopes."
    -- Edsger Dijkstra