parsing -monoid example