Эта запись Reddit Эдварда Кметта дает конструктивное определение естественная карта , та, что из теоремы о свободе для fmap (которую я прочитал в еще одном сообщение Эдварда Кметта ): Для заданных f , g , h и k таких, что f . g = h...