Closed
Description
While trying to model the output of product from itertools #358, its become apparent that the mypy type system lacks the strength to model value defined types.
This will happen with any kind of n-vector and is and could be potentially solved statically using dependent types.
This would likely be a massive endeavor, but the conversation is likely worth having.