Creates a specific use instance of a template by replacing the parameterized elements with pre-defined types.