--# -path=.:alltenses:prelude

instance SyntaxIce of Syntax = 
  ConstructorsIce, CatIce, StructuralIce, CombinatorsIce ;