...1996

First version (prior to corrections) dated June 1996.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...paper [Mog89]

Liang, Hudak and Jones write that they were prompted in this by Espinosa's paper [Esp93].

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...transformer

Espinosa points out [private communication, July 15, 1996] that not all the subtleties of Moggi's approach are found in Liang, Hudak and Jones' definition of `lifting'.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.