[Automata.hs] Automata class
Using MultiParamTypeClasses (are they necessary?)