Variadic TemplatesでN番目のTemplate Parameter Packsの型を得る方法

規格にはN1704で示されているようなN番目の型を得る方法が入っていない。すると、こうするのだろうか。

template < size_t N, typename Head, typename... Tail >
struct nth_type : public nth_type<N-1, Tail...>
{ } ;

template < typename Head, typename... Tail >
struct nth_type< 1, Head, Tail... >
{
　　　　typedef Head type ;
} ;