resource CombinatorsMon = Combinators with 
  (Cat = CatMon),
  (Structural = StructuralMon),
  (Constructors = ConstructorsMon) ;