Category transformers

BurningWitness: > Counter-counterpoint: why are monad cakes even viewed as a good foundation? Agreed. Lambda calculus is a foundation that is hard to surpass in beauty and simplicity. But why have monads been so successful compared to profunctors and arrows? Certainly not only because of clever marketing.