Closed sjoerdvisscher closed 11 years ago
(I wonder if each adjunction yields a conjoined profunctor...)
(I wonder if each adjunction yields a conjoined profunctor...)