MonadZero and MonadPlus in the state monad transformer