And monads are like burritos. Therefore, monads are like planes. How shall we represent diverted luggage?