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