replacing the EQ with MonadZero