Optimization: do not allocate nested eithers

[jdegoes]

Given appropriate Equiv (see #18), it is not necessary to allocate nested eithers, but rather, one can go direct from the parse data to the target structure.

See here for work done to eliminate nested tuples, which is similar but slightly different to this optimization.