We should see if there's anywhere where the new `NonZero` types would work/benefit us.
We should see if there's anywhere where the new
NonZerotypes would work/benefit us.