https://1library.net/document/qo58vjmy-supermonads-one-notion-to-bind-them-all.html