The Constructive Lift Monad (1995)

by RS-95-20 Anders Kock