example1, nonmonadic parser
example1, nonmonadic parser