Contramap

functional

ContramapL

functional

ContramapR

functional

contramap

Contramap ops contramap syntax

contramapExtraction

Extraction

contramapL

ContramapL ContramapR ops contramapL

contramapLInjection

Injection

contramapR

ops contramapR

contramapRInjection

Injection