強い typedef (opaque typedef) が欲しい理由

あれがあると，テンプレート絡みのコンパイルエラーやテンプレートライブラリを多用した実行ファイルの gprof の結果がもうちょっとヒトに優しいものになるんじゃねーか，ってゆ〜．
ちなみに，前者は concept による type check だけでは不満な場合があるはず．テンプレートが長ったらしく複雑に組み合わさった型に短い別名を与えたい状況ががが，ってゆー．