This should still be type IMO, unless `undefined` is also a Constant.