let g =
  let module X = A.F() in
  X.g