чет не подумал что тут в лефт будет сообщение об ршибке

спасибо

но там вроде бы не очень полезное сообщение об ошибке

нужно чекать, но вроде обычно там просто "ошибка в read"

сойдет

я изначально с мейби также и написал

rm -rf ~/.stack/snapshots/

старый добрый rm помог

Подскажите, есть функция с сигнатурой
method :: Param a => String -> String -> [a] -> IO LBS.ByteString
Почему компилятор ругается на применение
method "getMe" (bot&token) [],
ведь всё же нормально?

Говорит, что нужно уточнить тип, так как непонятно, реализован для a0 show или нет

И что мне делать?

Нужно списку указать конкретный тип, он из пустого не может вывести a

Но он не должен иметь какой-то тип

А скинь полный лог ошибки

должен. чтобы вызвать функцию, надо какой-то тип предоставить

• Ambiguous type variable ‘a0’ arising from a use of ‘method’
     prevents the constraint ‘(Param a0)’ from being solved.
     Probable fix: use a type annotation to specify what ‘a0’ should be.
     These potential instance exist:
       instance Param GetMeParam -- Defined at app/Main.hs:41:10
   • In the second argument of ‘(<$>)’, namely
       ‘method "getMe" (bot & token) []’
     In the expression: eitherDecode <$> method "getMe" (bot & token) []
     In an equation for ‘getMeEither’:
         getMeEither bot = eitherDecode <$> method "getMe" (bot & token) []
  |
23 | getMeEither bot = eitherDecode <$> method "getMe" (bot&token) []
  |                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Ну все верно он не понимает что в этом a может быть так как список пустой

Пришлось вводить новый тип NoneParam, который реализует Param

Но мне кажется, что это плохое решение

а разве не логично для getMe использовать GetMeParam?

Всё, я понял