とりあえず、なんちゃってsealedでは対応できない。あれはありえるサブクラスを全部定義したenumを別途用意するテクニックだけど

4:22 PM

この場合だとHNil, HList<Int, HNil>, HList<Int, HList<Int, HNil>>... ってありえる型が無限通りあるから。