automata v0.1.0 Seq2.State