Is `$baseType !== null` necessary here?