Тайпкласс неотличим от дактайпинга, в котором имена уникальны у каждого тайпкласса и не могут перепутаться
Так разница между дактайпингом и не дактайпингом в том, что в первом случае не требуется ничего дополнительно объявлять для типа который ты хочешь использовать, оно сразу работает.