Actually I'd rather not. The intent is clearer this way: for each param-def, I want to check it. To check a param-def, I check that `tpe != NoType`.