gistfile1.scala

case class ElapsedTime[CC[_]](time: CC[Chronon]) { type HK[a] = CC[a] }
  object ElapsedTime {
    class ETFunctor[CC[_]](implicit evf: Functor[CC])
      extends Functor[({type λ[α]=ElapsedTime[CC]})#λ]
      // Functor[ElapsedTime[CC]#HK]
    {
      def map[A, B](fa: ElapsedTime[CC])(f: Chronon => Chronon): ElapsedTime[CC] = ElapsedTime(evf.map(fa.time)(f))
    }
    
  }