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

instance SyntaxTha of Syntax = 
  ConstructorsTha, CatTha, StructuralTha, CombinatorsTha ;