к
но у меня правда видно было постоянно
Size: a a a
к
к
R
R
Foo Int Int
наверняка и с тайпфемелей и явным equality constraint можно выразить и без фандепов. В общем ч не вижу причин почему фандепы должны быть настолько не first-class, насклько они естьк
VD
R
VD
R
R
Foo Int Int
наверняка и с тайпфемелей и явным equality constraint можно выразить и без фандепов. В общем ч не вижу причин почему фандепы должны быть настолько не first-class, насклько они естьVD
LO
к
VD
LO
к
R
VD
R
D