无形：限制案例类类型

Question

（注意：从Shapeless: Trying to restrict HList elements by their type和Shapeless: own HList constraint using Coproduct分开）

问题3 - 按参数类型限制案例类

如果我可以使用HList约束来约束仅从AnyVals，Strings和特定的MyBaseTrait构建的case类，那么这将是一个非常好的额外增益，它递归地实现相同的约束。在基本特征上定义约束而不必触及任何派生的案例类将是很好的。类似的东西：

$(".footnote").each(function(){
    var text = $(this).text();  // Get text
    var num = text.split(/\s+/g)[0]; // Split by whitespace and get the first elem
    console.log(parseInt(num)); // Convert the elem to an int
});

这将允许更早失败。这可能吗？通过Generic＃Repr或DeepHList？