// f : A -> O
static <A> A mapLike printWith(O f, A a) {
  print(callF(f, a));
  ret a;
}