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

instance SyntaxCze of Syntax = 
  ConstructorsCze, CatCze, StructuralCze, CombinatorsCze ;