dimap id id ≡ idIf you supply lmap and rmap, ensure:
lmap id ≡ id rmap id ≡ idIf you supply both, you should also ensure:
dimap f g ≡ lmap f . rmap gThese ensure by parametricity:
dimap (f . g) (h . i) ≡ dimap g h . dimap f i lmap (f . g) ≡ lmap g . lmap f rmap (f . g) ≡ rmap f . rmap g
proextract . promap f ≡ f . proextract proextract . produplicate ≡ id promap proextract . produplicate ≡ id produplicate . produplicate ≡ promap produplicate . produplicate