Я очень новичок Haskell, поэтому извиняюсь, если ответ очевиден, но я работаю через Typeclassopedia, чтобы лучше понять категории. При выполнении упражнений для раздела "Функторы" я столкнулся с этой проблемой:
Приведите пример типа вида * → *, который нельзя сделать экземпляром Functor (без использования undefined).
Моя первая мысль заключалась в том, чтобы определить какое-то бесконечно рекурсивное определение fmap, но не было бы, по сути, таким же, как если бы в определении было undefined
?
Если кто-то может объяснить ответ, мы будем очень благодарны.
Спасибо!
Источник оригинального упражнения здесь, раздел 3: http://www.haskell.org/haskellwiki/Typeclassopedia#Introduction