generated at
A New Notation for Arrows
Arrow型クラスの論文
Ross Paterson著
PDF