Document MonadZero protocol