shapeless
H :+: T can either be H or T. In this case it is H.
H :+: T
H
T
Non-recursive fold (like Either#fold)
H :+: T
can either beH
orT
. In this case it isH
.