static L<S> startingWithIC(Collection<S> l, fS prefix) {
  ret [S s : unnull(l) | swic(s, prefix)];
}

static L<S> startingWithIC(S prefix, Collection<S> l) {
  ret startingWithIC(l, prefix);
}