static Pair<S> tlftPair(S text) {
  ret listToPair(tlft(text));
}