folds

folds copied to clipboard

Traversing and Mapping on L1/M1/R1?

7

`L1`, `M1`, and `R1` are `Strong` and `Choice` `Category`s. That should mean that there is a `Traversing` instance for them. And the fact that they're `Closed` as well should mean...

Zemyla

`L` does not have `id`, but there is a compose. Also, does `R` have the same instance?

lspitzner