static abstract class F1<A, B> {
  abstract B get(A a);
}