+ Rewrite for HLists