Type Alias Optic<S, T, A, B>

Computation combinator with two-terminal pair.

    |---------------|
S ->|               |-> A
    |  Computation  |
T <-|               |<- B
    |---------------|
Copy