Carry evidence for Arity (Wrap f xs) as well