testsuite/compiler/typecheck/concrete/A.gf:5:
  Happened in operation silly
   A function type is expected for a_Det instead of type Str