Re: [Haskell] A collection of related proposals regarding monads

On 1/5/06, Cale Gibbard <cgibbard@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@gmail.com> "Computer science is no more about computers than astronomy is about telescopes." -- Edsger Dijkstra