> Невозможно задать психологическим типам границы, которые будут одновременно и точными,
> и осмысленными. Либо бессмысленные категории, либо неточные границы, либо и то,
> и другое одновременно.

О чем собственно я и утверждаю, а почему так?

Из тоё же вики:

""" - https://ru.wikipedia.org/wiki/%D0%A2%D0%...
Тип (от греч. τυπος — отпечаток, форма, образец) — единица расчленения изучаемой реальности в типологии
"""

Единица расчленения это фактически целое конечное число (то есть имеет границы). Почему всегда было важно решать всякие уравнения в целых числах?

Далее, что есть типология:

""" - https://ru.wikipedia.org/wiki/%D0%A2%D0%...
Типология — классификация по существенным признакам. Основывается на понятии типа как единицы расчленения изучаемой реальности, конкретной идеальной модели исторически развивающихся объектов. Разделы наук, занимающиеся выявлением типов, близких по набору своих внутренних характеристик явлений или объектов:
"""

Далее, что есть психологические типологии

""" - https://ru.wikipedia.org/wiki/%D0%9F%D1%...
Психологическая типология — система индивидуальных установок и поведенческих стереотипов, образованная с целью объяснения разницы между людьми[1]. Проблема удачного, то есть определяющего более широкий спектр производных характеристик, основания для классификации психологических типов всегда была краеугольной для дифференциальной психологии.

«Существуют по меньшей мере три различные теории психологических типов, описываемых психологами. Некоторые авторы до сих пор представляют типы как отдельные взаимоисключающие классы. Другие используют теорию типов как более или менее подробную теорию черт, определяя типы как полюса одного континуума, между которыми люди могут быть распределены по законам нормального распределения. Последователи третьего взгляда утверждают, что типы отличаются от черт тем, что имеют мультимодальные распределения, в которых люди группируются в определенных точках, представляя чистые типы»
"""

Далее, что есть дифференциальная психология

""" - https://ru.wikipedia.org/wiki/%D0%94%D0%...
Дифференциальная психология — раздел психологической науки, который изучает психологические различия, типологические различия психологических проявлений у представителей различных социальных, классовых, этнических, возрастных и других групп. Дифференциальная психология систематизирует индивидуальные различия и разные методы их диагностики, а также количественно оценивает эти различия в разных сферах.

Дифференциальная психология решает 2 задачи:

1) выделение индивидуальных различий;
2) объяснение их происхождения.
"""

> тут достаточно будет допущения о том, что все люди разные.

поскольку индивиды, и пытаться это категоризировать (типизировать) - бессмысленно.

> Попытка поделить всех на "нормальных" и "не нормальных" -- это частный случай типизации.

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

> Но эта проблема с невозможностью осмысленного деления остаётся актуальной для любой типизации.

Так зачем тогда применять эти определения как психологический тип? если сам тип как единица деления не определен?