automata-pila.hs