Shift responsibility to wrapping checker for the arity checker.
Required if we want to drop the arity check for & cases