Тип (множество значений)у которого есть методы (эндофункторв) которые мапят велью со входа на выход в тот же самый тип => невозможно ограничит Эф так чтобы он мапил в большее множество или меньшее .пасасал? Пример: ты не можешь на уровне типов выразить ситуацию когда у тебя коллекция становится пустой