Free Monads are also built on a tower of mathematical structures that come with laws and invariants. I have yet to see such formalization for transducers.