checking module B
   Prod expected for function S instead of Type
   in type of function f in B.gf, line 5