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!
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!