Talk:Monads

This is written from very, very, very limited exposure to Monads whilst involved with Pugs. Much rewrite/cleanup would be good!

---

From the article:

• A function ("bind") is required that takes:
  • A monad containing type A
  • A function that converts from a type A, to a monad of type B and returns a monad of type B.

This looks like a special case of faulty parallels ("returns a monad of type B" would seem to pertain to "A function that converts..." --22:50, 9 January 2006 (UTC)), but there's no obvious way to fix it. Anybody else care to? --Ihope127 22:48, 9 January 2006 (UTC)