Use a generic constraint instead of a static assert
An initial skeleton version of an array