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