Append element at the beginning of this HList
Append element at the beginning of this HList
a new HList
Retrieve element at index
Retrieve element at index
element at index
Filter this HList with a predicate
Filter this HList with a predicate
a new filtered HList
Retrieve element at index in an Option
Retrieve element at index in an Option
Option of element at index
Apply f to all elements of this HList
Apply f to all elements of this HList
a new HList
Executes f for each element of the HList