мультипараметрические тайпклассы

Так они и без фандепов весьма полезны. Вообще, фандепы -- говно, так что и правильно сделали, что не включили их

весьма полезны шоб ломать вывод типов? затрудняюсь придумать для чего еще

Вот это странно

ага, у меня там IncoherentInstances еще. И это все равно было бы лучше с тайпфемелями, они просто не работают там по какой-то всратой причине

а как такое описать тайпфемелями без фандепов на них?

а ну вообще можно же да

но выбирать инстанс по j будет тогда нельзя

@A64m_qb0 ну вот у меня один пост про то, как сделать что-то с хорошим выводом типов без фандепов: https://github.com/effectfully/sketches/tree/master/avoid-overlapping-recursive

а вот второй: https://github.com/effectfully/sketches/tree/master/has-lens-done-right
причем в этом решение без фандепов сравнивается с решением с фандепами и слегка выигрывает

фандепы нормально работают только в простейших случаях. Чуть начинаешь делать что-то такое advanced, они разваливаются к херам. В общем, я конечно не против, что они есть, но включать их в стандарт без какой-то нормальной реализации с first-class фандепами (как equality constraints — first-class), я бы тоже не стал

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

ну это не стандарт

а что?

(я не следил)

просто сборник прагм, который предполагается ежегодно обновлять

я дико извиняюсь, куда не включили фандепы?

В GHC2021

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

фига себе.... Ну и зачем этот Хаскель нужен? С такими приколами?

Без BlockArguments это вообще avoid $ success $ at_all costs