*матерные ругательства и ошибки*
Logs printed to console

дайте весь текст, пожалуйста

если ошибки во внешнем пакете (не в вашем проекте), то логи могут быть в ~/.stack

А кто-нибудь знает каков статус либы amazonka? И допустим если мне надо из хаскеля взаимодействовать с амазоном, то какой подход лучше использовать сейчас? Заметил что либа на гитхабе уже как года 2 не обновлялась а ишью только скопились.

@dshevchenko вроде использовал

ку. ктонибудь может подсказать почему жшс ругается что тайп вериаблы не в скоупе, хотя я включил scoped type variables

`
class (forall a b s t1 . Convertible a s b t1, Convertible b t1 a s)
  => HasTrivialInvertion m where
  invert :: a -> s -> b
`

Да, я использовал амазонку, когда работал ещё в Залоре. Но это было настолько давно, что уже и неправда. 😊

Эх, я тоже года 1.5 назад последний раз использовал, просто интересно как сейчас в полях работают с авс. 🙂

Вероятно, надо прописать явные фороллы

А куда их прописывать то? Там же нет места

А, они уже есть

какие именно вариаблы? a b s t1 — нельзя вытащить из HasTrivialInvertion m

Даже если скоупд тайп вериаблс включить?

да, потому что в этом нет смысла

у вас есть только m. на какие a b s вы хотите задавать ограничения?

Всмысле, они же в членах класса упоминаются

в голове можно задавать ограничения только на переменные в голове. если переменные появляются только в методах, то и ограничения должны быть там, где эти переменные появляются

Они тогда будут локальными для каждого метода, а не для всех методов

лучше опишите человеческими словами, что вы хотите от класса. потому что там ещё и m нет в методе, вообще всё непонятно

допустим у меня есть это
class Convertible initar supplement finit residue where
 transform :: initar -> supplement -> (finit, residue)

дальше я хочу сказать что два типа идентичны если их можно превратить один в другой без потери информации или необходимости добавлять информацию
class (forall a b . Convertible b () a (), Convertible a () b ())
  => Identical a b

Даьлше я хочу сказать что два типа обратимы если при конвертации из одного в лругой теряется информация, которая достаточна чтобы совершить обратное преобразование при условии что существует прообразование отстаток от которого достаточен чтобы превратить один тип в лругой
class (forall a b s t1 . Convertible a s b t1, Convertible b t1 a s)
  => HasTrivialInvertion a

Последнее не компилируется

Скажем если [a] превратить в head [a] то остаток будет tail [a]