Improved HList and HListSpec.