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.getpureroutine.com/