Type Erasureで消去された型情報を静的に取得できないかな、と妄想中

decltype使えばできそうな気はしたけど、非テンプレート基本クラスと
テンプレート派生クラスの両方で同じインタフェースで型取得できるような関数や型がないといけないので難しい。