gistfile1.scala

  object Tuples {

    trait HT {
      type H
      type T
      def hd: H
      def tl: T
    }

    implicit class T3[A, B, C](t: (A, B, C)) extends HT {
      type H = A
      type T = (B, C)
      def hd = t._1
      def tl = (t._2, t._3)
    }

    val tup = (1, "2", false)
    val a: Int = tup.hd
    val bc: (String, Boolean) = tup.tl
  }