Even though they aren't here, auto parameters, constexpr if, static_assert, and enable_if can already simplify some of those errors.