static IPred<S> swic$(S prefix) {
  ret s -> swic(s, prefix);
}