думаю, что нехаскелист скажет скорее что тф из за того что ассоц. типы более привычная штукв по сравнению с олегопрологом, а хаскелисты наоборот, потому что фд раньше и привычнее
потому что семейства типов можно писать в инстансах, можно упаковывать в гадты, можно писать в сигнатурах, а фд — написал в классе и все. В итоге они не first-class, и код, который нормально работает с тайп фемелями, разваливается на эквивалентном коде с фд. Постоянно натыкаюсь на такие случаи