Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalgebra interaction. They proved to be important for solving systems of corecursive equations. for the specification of well-behaved structural operational semantics and. more recently. https://www.alarecre.com/Music-Is-Freedom-Google-Pixel-7-Pro-Skin-p67850/