--# -path=.:alltenses:prelude

instance SyntaxLat of Syntax = 
  ConstructorsLat, CatLat, StructuralLat, CombinatorsLat ;