add example of Parsec using state