package com.sample.higher_kinded trait Container[M[_]] { def put[A](x: A): M[A] def get[A](m: M[A]): A }