@hackage squares0

The double category of Hask functors and profunctors