If you're interested in these kinds of features but aren't up to learning Haskell, we've been writing a DSL for type-safe array programming in a language called Kotlin. It is possible to express certain type-level operations like shape checking and inference for multidimensional arrays (under certain constraints). You can read more about our approach here: https://github.com/breandan/kotlingrad