sclass ParseResult1 {
  L<S> pat, input;
  L<PairS> matches, assumptions;
}