@jorenham

I feel that perfect Shape typing, especially typing "broadcasting" is impossible (or requires extremely large number of alias), what are your thoughts?

I thought allowing Literal as an argument to the tuple would make typing impossible for some functions, and would better to provide only information on the array dimension (the number of ints in argument of tuple) using Unpack.

Edit: Didn't know this
python/typing#1439