Adds MonadPlus (WList ...)

Ref #86