HList curry

hlistcurry.scala

object Start extends App {

  val l = 1 :: "s" :: HNil
  
  val res = l.run{i => s => i+s}
  
  println(res)
}

trait HList {
  type F[R]
  
  def run[R](f: F[R]) : R
}

case class HCons[H, T <: HList](h: H, tail: T) extends HList {
  type F[R] = H => (tail.type)#F[R]
  
  def ::[A](h: A) = HCons(h, this)
  
  def run[R](f: F[R]): R = tail.run(f(h))
}

case object HNil extends HList {
  type F[R] = R
  
  def ::[A](h: A) = HCons(h, this)
  
  def run[R](f: F[R]): R = f
}