concrete IdiomTur of Idiom = CatTur ** open Prelude, ResTur in {


}