--# -path=.:alltenses:prelude

concrete ExamplesDan of Examples = ExamplesI with
  (Syntax=SyntaxDan),
  (Lang=LangDan) ;