--# -path=.:alltenses:prelude

instance SyntaxPol of Syntax = 
  ConstructorsPol, CatPol, StructuralPol, CombinatorsPol ;