Return to Article Details The Constructive Lift Monad Download Download PDF