Arrow
1.1.5
arrow-optics
/
arrow.optics
/
Fold
/
right
right
open
fun
<
C
>
right
(
)
:
Fold
<
Either
<
C
,
S
>
,
Either
<
C
,
A
>
>
(
source
)
Create a sum of a type
C
and the
Fold