Simple support should be possible by just always inferring the output as `T | null`. Nullability infering might be really hard, but let's try anyway!