Promonads and string diagrams for effectful categories : preprint
Roman Garcia, Mario
arXiv.org
2022
https://doi.org/10.48550/arXiv.2205.07664