Data.Machine.Moore
data
Moore
a b
logMoore
unfoldMoore