но зато от налёта элитарности с этими всякими "ограничениями мономорфизма на константно аппликативные формы" как-то неприятно становится, будто открыл учебник по математике, который был написан одним математиком для того, чтобы его прочитали другие математики и сказали "ну молодец, могёшь", а если ты не в теме, то идёшь нахуй