concrete QuestionSlv of Question = CatSlv ** open ResSlv in {
}