Мы знаем, что монады происходят из примыканий (и это обсуждалось также на SO ). Обычные в программировании монады происходят из хорошо известных дополнений. Так откуда взялась монада Тардис ? (RevState тоже было бы неплохо узнать).
RevState