@hackage / squares

The double category of Hask functors and profunctors

Dependencies