--# -path=.:alltenses

instance SyntaxSpa of Syntax = 
  ConstructorsSpa, CatSpa, StructuralSpa, CombinatorsSpa ;