static abstract class F0<A> {
  abstract A get();
}