HList, but in Kotlin!

khlist.kt

sealed class HList<T>

object HNil : HList<Nothing>()

data class HNode<T, H : HList<*>>(
    val value: T,
    val next: H
) : HList<H>()

infix fun <A, B> A.hcons(b: B): HNode<B, HNode<A, HNil>> =
    HNode(b, HNode(this, HNil))

infix fun <A, H : HList<*>> H.hcons(a: A): HNode<A, H> =
    HNode(a, this)

val hlist: HNode<Long, HNode<Int, HNode<String, HNode<Boolean, HNil>>>> =
            true hcons "sss" hcons 3 hcons 4L

Cool, but I think the T type param in HList, is not necessary.