testsuite/compiler/typecheck/abstract/B.gf:5:
  Happened in the type of function f
   Prod expected for function S instead of Type