Higher-Kinded types test

Container.scala

package com.sample.higher_kinded

trait Container[M[_]] {
  def put[A](x: A): M[A]
  def get[A](m: M[A]): A
}

HigherKindedTest.scala

package com.sample.higher_kinded

object HigherKindedTest {
  
  implicit val listContainer = new Container[List] {
    def put[A](x: A) 	   = List(x)
    def get[A](m: List[A]) = m.head    
  }
  
  implicit val optionContainet = new Container[Some] {
    def put[A](x: A)	   = Some(x)
    def get[A](m: Some[A]) = m.get
  }
  
  def tupleize[M[_]: Container, A, B](fst: M[A], snd: M[B]) = {
    val c = implicitly[Container[M]]
    c.put(c.get(fst), c.get(snd))
  }  
  
  def main(argc: Array[String]) = {
    tupleize(Some(1), Some(2)) foreach println
    tupleize(List(1), List(2)) foreach println
  }
}