あるいはFunctional Dependencies v.s. Type Families

おそらくこの辺

TypeFamiliesのAssociated Type Synonyms

TypeFamiliesのAssociated Data Type Family

↑この辺の

使い分け

3行コメント

関係性

などを理解したい #??

pursの方を先に知ったのでhsの方がわからない

pursはtype familyがない

multi param type classのときは、常にfun depsが必要だった気がする

hsは別にそんなことはない

この対応って合ってる #??

TypeFamiliesに対しての、TypeFamilyDependenciesと、

MultiParamTypeClassesに対しての、FunctionalDependencies

は同じような関係

v.s.