@omochimetaru sealed があれば↓で限定できてない？ // Kotlin sealed class HList { class HNil: HList() class HCons<H, T: HList>(val head: H, val tail: T): HList() }