template<typename T> class  A{ A(){} };    // 1

template<typename T> struct B{ B(){} };    // 2

template<typename T> union  C{ C(){} };    // 3

template<template<typename> class U, typename V>
struct D
{
    D()
    {
        U<V> u;
    }
};

int main()
{
    D<A, int> a;    // 4
    D<B, int> b;    // 5
    D<C, int> c;    // 6
}