Freyd is Kleisli, for arrows (2006)

by Bart Jacobs, Ichiro Hasuo
Venue:In C. McBride, T. Uustalu, Proc. of Wksh. on Mathematically Structured Programming, MSFP 2006, Electron. Wkshs. in Computing. BCS