c.cpp

struct Z { };

template<class P>
struct S { };

struct E { };

template<class P>
struct Double { typedef E v; };

template<>
struct Double<Z> { typedef Z v; };

template<class P>
struct Double<S<P> > { typedef S<S<typename Double<P>::v> > v; };