Templates of types now functional