Constraint is not necessary. `Types` is already determined, so this ctor would work as like non-template ctor, and would accept any literal-like construction.