Присоединение, лежащее в основе монады Тардис

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


person Jacques Carette    schedule 28.03.2019    source источник
comment
Я сильно подозреваю, что RevState будет соединением между Hask и Hask Op.   -  person leftaroundabout    schedule 28.03.2019