Data.Machine.Mealy
data
Mealy
a b
unfoldMealy
logMealy