[Haskell] A collection of related proposals regarding monads

Taral taralx at gmail.com
Thu Jan 5 14:14:38 EST 2006

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
    -- Edsger Dijkstra

More information about the Haskell mailing list