Is there an EV monad? I’m inclined to think there is not, because EV(EV(X)) is a way simpler structure than a “flatmap” analogue.
EV(EV(X))
Is there an EV monad? I’m inclined to think there is not, because
EV(EV(X))
is a way simpler structure than a “flatmap” analogue.