Functorial ML. Extended version of [9] in press for Journal of Functional Programming '98 (1998)

by C B Jay, G Belle, E Moggi