Did you know about std::rank/std::rank_v type_trait to get the rank of the array? Did you know that constexpr is strict about undefined behaviour (UB), object lifetime, etc? Did you know about Policy ...