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

instance SyntaxHin of Syntax = 
  ConstructorsHin, CatHin, StructuralHin, CombinatorsHin ;