Interaction Laws of Monads and Comonads