不确定正确的术语是否是“分配财产”，但我记得在学校学过这个，所以这里是我想做的一个例子：
鉴于：
type MyHList = (A :+: B :+: C :+: CNil) :: (Foo :+: Bar :+: CNil) :: HNil
Shapeless 中是否有任何内置类型类可以解决这个问题：
type Out = (A, Foo) :+: (A, Bar) :+: (B, Foo) :+: (B, Bar) :+: (C, Foo) :+: (C, Bar) :+: CNil
？
谢谢