--# -path=.:./alltenses:../prelude

instance SyntaxPes of Syntax = 
  ConstructorsPes, CatPes, StructuralPes, CombinatorsPes ;