scala - HList 要素の型レベルのラッパー

Question

セットの HList の型にコンパクトな構文を提供する型レベル関数を作成することは可能ですか?

したがって、次の行：

val l: Set[Int] :: Set[String] :: Set[Boolean] :: HNil =
    Set(1, 2) :: Set("abc") :: Set(true, false) :: HNil

次のように書き換えることができます。

val l: HListOfSets[Int :: String :: Boolean :: HNil] =
    Set(1, 2) :: Set("abc") :: Set(true, false) :: HNil