sS lambdaMapLike applyTranspilation(IVF1<LS> f, S s) {
  ret applyTranspilationFunction(f, s);
}