- | Write a char in the serialized output (no spaces)
insertChar :: Char -> ST()
insertChar car= ST(\(Stat(c,s,v)) ->  Right(Stat(c, snoc s car,v),()))

insertChar :: Char -> ST()
insertChar car= ST(\(Stat(c,s,v)) ->  Right(Stat(c, snoc s car,v),()))
insertChar car= ST(\(Stat(c,s,v)) ->  Right(Stat(c, snoc s car,v),()))