Update docs to no longer say they return Nothing when the return type has a MonadPlus constraint.
remove extraneous where