instance ResNor of ResScand = DiffNor ** open CommonScand, Prelude in {
} ;