Тип-то известен (статически), но зачем его конструировать, когда нам нужен только None.

Вряд ли Грок можно назвать «сильным» интеллектом, но уж всяко посильнее большинства homo sapiens программистов. 😀