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