Reinstate EitherT, OptionT MonadCombine/MonadFilter after #694 completes #695
Description
#694 suggests an approach of adding weak and strong variants of the laws for MonadCombine/MonadFilter.
Once this has been completed, it should be possible to reinstate the commented out implementations of MonadCombine/MonadFilter, or supply equivalent implementations that meet the newly factored laws.