Explain new MonadPlus Iter instance, Cabbage example

Close issue #52