C++: Hacky parameter pattern with variadic arguments

Question

Is it possible to use C++ variadic arguments to define a function that allows exactly the following calls:

f(int, char)
f(int, char, char)
f(int, char, char, int)
f(int, char, char, int, char)
...

Where every nth argument is a char if n is a prime number, and otherwise it is an int. The function can only be called in this way; it does not compile with other parameter patterns (e.g. f(2, 2) is an error, but f(2, '2') is ok).

Answer 1

Assuming:

constexpr bool is_prime(size_t);

Then something like this:

template <typename... Ts> struct typelist;

template <size_t... Is>
constexpr auto expected(std::index_sequence<Is...>)
    -> typelist<std::conditional_t<is_prime(Is+1), char, int>...>;

template <typename... Ts,
    std::enable_if_t<std::is_same<
        typelist<Ts...>,
        decltype(expected(std::index_sequence_for<Ts...>{}))
        >::value, int> = 0>
auto f(Ts... ts);