Unpacking tuple types in Scala

Question

I was just wondering, can I decompose a tuple type into its components' types in Scala?

I mean, something like this

trait Container {
  type Element
}

trait AssociativeContainer extends Container {
  type Element <: (Unit, Unit)
  def get(x : Element#First) : Element#Second
}

Answer 1

You can't unpack, per se, but maybe this achieves what you want:

  type First
  type Second
  type Element = (First, Second)
  def get(x: First): Second