instance SyntaxMon of Syntax = 
  ConstructorsMon, CatMon, StructuralMon, CombinatorsMon ;