Goal: Disallow `null` and `undefined` as inputs by constraining the generic, while still returning a nullable version of the type.