[Haskell-cafe] Side conditions on Data.Profunctor.Choice?

[David Turner]

Hi,

I was expecting to see coherence conditions for instances of
Data.Profunctor.Choice along the lines of:

dimap (either (Left . f) Right) id . right' === dimap id (either (Left
. f) Right) . right'

and similarly for left', but there's nothing like that in the docs.

Does anyone know whether (a) those conditions aren't true in general,
or (b) they are true but provable from other theorems so not worth
mentioning?

Many thanks,

David