И при этом тайп-классы как раз про байндинг к типу, так как для одной пары (тайп-класс, тип) есть единственная реализация, если я правильно понимаю. То есть вы таки не о тайп-классах в том виде, в котором их все знают.
Не совсем о тайп классах. Совсем тайп классы в котлин бессмысленны, потому что вместо них есть обычные интерфейсы.
И при этом тайп-классы как раз про байндинг к типу, так как для одной пары (тайп-класс, тип) есть единственная реализация, если я правильно понимаю. То есть вы таки не о тайп-классах в том виде, в котором их все знают.
И проблема там с тем, что реализация и декларация могут быть в разных модулях.