testsuite/compiler/typecheck/abstract/A.gf:4:
  Happened in the category B
   Prod expected for function A instead of Type