In Scala collections length and size are equivalent. Shouldn't they be equivalent here as well? hlist.size.value seems fine to me. Or hlist.sizeInt as an additional method.