Closed phadej closed 7 years ago
It'd have to live in semigroupoids
, which acts as the sort of sin-bin for all the Traversable1
, Apply
, etc. garbage. profunctors
is intended to live lower on the dependency tree.
Feel free to open an issue or fix this there.
I'd like to have that for completeness, but it would depend on having
Traversable1
.It have to be in the same package where
Traversing
is defined, as(Traversing1 p, Choice p) => Traversing p
.