static IF1<S, Bool> rcurry_swic(S b) {
  ret (IF1<S, Bool>) s -> swic(s, b);
}