Const
Unzip a single level in a tree of These<A, B> into a pair of potentially non-congruent optional trees of type A and B.
These<A, B>
A
B
Unzip a single level in a tree of
These<A, B>into a pair of potentially non-congruent optional trees of typeAandB.