hsの話はTypeFamiliesに書いている

とはいえ、hsに依存しない一般的なType Familyの方をあまり知らないので、その線引はかなり雑