On 1/5/06, Cale Gibbard <[EMAIL PROTECTED]> 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 <[EMAIL PROTECTED]>
"Computer science is no more about computers than astronomy is about
telescopes."
-- Edsger Dijkstra
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
