когерентности в скале это вот эта проблема:
https://typelevel.org/blog/2016/09/30/subtype-typeclasses.html
Более того, технически ApplicativeError[?[_], DbError]`и `ApplicativeError[?[_], DecodingError]] это разные констрейнты. и в хаскеле они не компилятся не потому что "некогерентно", а потому что там functional dependency F -> E
Да, я это и имел в виду
Обсуждают сегодня