Kock, A. (1995). The Constructive Lift Monad. BRICS Report Series, 2(20). https://doi.org/10.7146/brics.v2i20.19922