我有一个HList的联产品，如下所示：

(A :+: B :+: CNil) :: (Foo :+: Bar :+: CNil) :: HNil

这个HList * 将 * 是我的程序中的一个值。例如：

val myhlist: (A :+: B :+: CNil) :: (Foo :+: Bar :+: CNil) :: HNil = ???

我还有一个副产品的H列表，看起来像这样：

(A :+: CNil) :: (Bar :+: CNil) :: HNil

型
然而，这个HList在整个程序中 * 不是 * 一个值;它只存在于类型级别中。
我想用这个压缩函数压缩这两个HList：

def zipFn[A <: Coproduct, B <: Coproduct](a: A)(implicit basis: Basis[A, B]) = {
  a.deembed[B]
}

A是来自前一个HList的元素（在整个程序中都有值），B是来自后一个HList的元素。我想将值（A s）与类型（B s）压缩。
可能是一个很简单的问题，但不知何故，我对此感到困扰？
有什么建议吗？

我目前的想法是在Shapeless中使用curried多态函数;比如：

object myZipFn extends Poly1 {
  implicit def default[A <: Coproduct, B <: Coproduct](implicit basis: Basis[A, B]) = at[A] { a => a.deembed[B] }
}

val curried = Poly.curried(myZipFn)

但是没有多大意义，因为default同时请求A和B。
我的想法是首先泛型地接受B（没有值的类型），然后返回一个新函数，要求将A作为值，然后我们就有了这两个函数。
谢谢