concrete QuestionSwa of Question = CatSwa ** open ResSwa, Prelude in {

}