checking module A

   Prod expected for function A instead of Type

   in category B in A.gf, line 4