@koher HListの場合の話です。サブクラスの数が無限にある。