static Pair<S> splitAtSlash_toPair(S s) {
  ret listToPair(splitAtSlash(s));
}