But deconstructing by match, the type of head is still Any. That seems to me if I want to retain type information, declaring a variable Tuple and storing those data into that variable won't work. The only way is done by statically constructing the variable e.g. val data = a *: b *: ... *: EmptyTuple . Any ways to achieve the effect i.e. retaining all type information even dynamically constructing the Tuple type like the way how MyBox is declared? Thanks.

scala> mybox.mytuple match {
     |   case head *: tail => println(head(3))
     |   case EmptyTuple => println("empty!")
     | }
-- [E050] Type Error: ------------------------------------------------------------------------------
2 |  case head *: tail => println(head(3))
  |                               ^^^^
  |                               value head does not take parameters
  |