template <typename... Ts>

struct first

Utility to return the first type in a parameter pack.