Optic used for selecting a part of a coproduct type.
Attempts to select a coproduct part.
Creates a coproduct from a coproduct part.