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