Wong，L。
(2000).
Kleisli：一个功能查询系统。
函数编程杂志
,
10, 19--56.