concrete ExtraDan of ExtraDanAbs = ExtraScandDan ** open CommonScand, ResDan in {

}