gf-3.3.3: lib/src/api/SyntaxTha.gf
--# -path=.:./alltenses:../prelude instance SyntaxTha of Syntax = ConstructorsTha, CatTha, StructuralTha, CombinatorsTha ;
--# -path=.:./alltenses:../prelude instance SyntaxTha of Syntax = ConstructorsTha, CatTha, StructuralTha, CombinatorsTha ;