here's another one `index` is `N` if the `N`th type in the pack `Ts...` is `T` _and_ `T` is contained only once in the pack `Ts...`. Otherwise (if it wasn't found or wasn't unique) this metafunction returns `sizeof...(Ts)` (one past the highest valid index)
o