@hackage squares0.0.1

The double category of Hask functors and profunctors

A library for working with natural transformations of type

forall a b. p a b -> q (f a) (g b)