The depth estimator assumes that nested operations are flattened within a single Pair. We can leverage this to split argument depths.
The depth estimator assumes that nested operations are flattened within a single Pair. We can leverage this to split argument depths.