Ross Paterson A New Notation for Arrows. 229-240 2001 ICFP db/conf/icfp/icfp2001.html#Paterson01