I've added a bit more to <http://haskell.org/hawiki/MonadPlus>. I highly recommend people read it before they start claiming in papers that such-and-such a type "may thus be an instance of MonadPlus". -- Ashley Yakeley, Seattle WA