squares

squares is a library for working with natural transformations of type forall a b. p a b -> q (f a) (g b). These are squares in the double category of Haskell functors and profunctors.

See the Data.Square module for an introduction.