Сколько типов экземпляров у Nothing в Kotlin?

Один. Тип Nothing является "нижним" типом в иерархии типов Kotlin, который не имеет ни одного значения. Он используется для обозначения случаев, где выражение никогда не завершает выполнение нормальным образом, например, в функциях, выбрасывающих исключение или входящих в бесконечный цикл.