Add tests for state-maybe
Update reader to Monoid from MonadZero