sclass ParseResult1 {
  L<S> pat, input;
  S category;
  L<PairS> matches, assumptions;
  
  *() {}
  *(L<S> *pat, L<S> *input, L<PairS> *matches, L<PairS> *assumptions) {}
}