effectful Mealy machine

Last updated Feb 3, 2024

• effectful Mealy machines form a effectful 2-category
• effectful transition systems in do-notation