static <A> F1<S, A> codeWithHintsToFunctionOnString(S code, S hints) {
  null; // TODO
}