TY - RPRT TI - Interaction laws of monads and comonads AU - Shin-ya Katsumata AU - Exequiel Rivas AU - Tarmo Uustalu PY - 2019 UR - https://arxiv.org/abs/1912.13477 ID - 1912.13477 ER -