WHAT MONADS CAN AND CANNOT DO WITH A FEW EXTRA PAGES. - MØGELBERG, RASMUS EJLERS; ZWART, MAAIKE (Logical Methods in Computer Science (LMCS), 2025)