HList constraints now implicitly accept HNil