surface diagrams of interaction laws Tags: Monad References. Interaction Laws of Monads and Comonads (Katsumata, Rivas, Uustalu, 2019).
