(Запоздалый комментарий.)
timber
Я не понимаю,почему вы не вдумываетесь в сообщения,которые вам пишут.
Скорее всего потому, что я симпатизирую меньшинству, чем большинству.
Тогда почему множества? (Категории уже тоже не годятся.) Выберите вместо них теорию типов, что ли.

Хотя и за типы я уже побаиваюсь: многовато людей в них залезло…