agda-TotalParserCombinators: new package