typename と class は全く同一だと聞いた事があるが・・・どこでだっけ？