There are 1 repository under contravariant-functors topic.
:heavy_check_mark: Simple, elegant, profunctorial, applicative validation for product types!
Some categories I guess
Implementation of contravariant functor.