Added instances for MonadPlus and MonadError. We'll see if they work.