Ну стрелка есть, нужен какой-то дополнительный контекст для понимания вопроса?
конечно, для двух типов A и B, тип A -> B это тип функции от A в B
Однако мне хаскель ругается на попытку сделать instance Semigroup (A -> A) where
Чтобы не ругался надо завернуть в ньютайп, например в Endo, который уже специально для этого сделан
Ну вот я про такой ньютайп и спрашивал. Да, вопрос изначально был кривой, прошу прощения за это.
если сообщение компилятора неинформативное, давайте вместе подумаем как его улучшить
Сообщение компилятора информативное, в этом плане всё хорошо. Непонятно правда, почему FlexibleInstances, разрешающий одинаковые названия переменных для одинаковых типов, не включён по умолчанию.
Потому что его нет в haskell2010
Да, если бы инстанса для (A -> B) не было в GHC.Base, то, видимо, сработало бы
ну вообше такой инстанс можно сделать, просто он конфликтует с другими
выше сообщение про релиз гхц в котором теперь включено по умолчанию
Обсуждают сегодня