effectful Mealy machineLast updated Jul 23, 2024effectful Mealy machines form a effectful 2-categoryeffectful transition systems in do-notationTags: Mealy machine.