[Automata.hs] New class functions.