TY - RPRT TI - Idempotence for relative monads AU - Nathanael Arkor AU - Andrew Slattery PY - 2025 UR - https://arxiv.org/abs/2508.17794 ID - 2508.17794 ER -