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

concrete ExxEng of Exx = CatEng ** ExxI with
  (Lang = LangEng),
  (Constructors = ConstructorsEng) ;