I think Matt’s answer here is still right:
https://stackoverflow.com/questions/34073243/expressions-depending-on-integer-type-parameters-in-type-definitions-in-julia-ar