concrete QuestionCze of Question = CatCze ** 
  open ResCze, Prelude in {

lin
    QuestCl cl = cl ; ----

    QuestIAdv iadv cl = cl ** {clit = iadv.s ++ cl.clit} ;

}