где может быть нужно использование ConstraintKinds и Dict?
я так понимаю, что использование Constraints в каких-то юзкейсах не справляется и тогда может хотеться передать словарь явно? так же это перенос информации на value level, а это где может быть полезно? видел примеры у biorgey (очепятался наверняка) и в I wish I know about Haskell, но эти примеры как-то не впечатлили

как вы читаете статьи по темам, в которых разбираетесь не отлично? т.е. вот чтобы убедиться, что действительно все ясно и ничего важного не пропущено? часто ли приходится перечитывать статьи? далеко ли углубляетесь переходом по ссылкам? (идеально в применении к CS и Theoretical physics, но можно и другое)