It actually isn't really that unusual to have things like this in a statically typed language. Scala and Haskell have similar limitations with tuples