Oh, that's right -- I forgot applicatives are a separate class. Regardless, the concept of "lifting" pure functions is separate from monads, which exist to enf

Oh, that's right -- I forgot applicatives are a separate class. Regardless, the concept of "lifting" pure functions is separate from monads, which exist to enforce sequencing.