где может быть нужно использование ConstraintKinds и Dict?
я так понимаю, что использование Constraints в каких-то юзкейсах не справляется и тогда может хотеться передать словарь явно? так же это перенос информации на value level, а это где может быть полезно? видел примеры у biorgey (очепятался наверняка) и в I wish I know about Haskell, но эти примеры как-то не впечатлили
как вы читаете статьи по темам, в которых разбираетесь не отлично? т.е. вот чтобы убедиться, что действительно все ясно и ничего важного не пропущено? часто ли приходится перечитывать статьи? далеко ли углубляетесь переходом по ссылкам? (идеально в применении к CS и Theoretical physics, но можно и другое)
а еще у каждой команды есть опция --help которая выведет описание аргументов, коротких и длинных.
14:04:51 .-- xmpp:qnikst@gentoo.ru --- -- -
14:04:51 | c --help
14:04:51 ----- ---- --- -- -
----- ---- --- -- -
14:04:51 .-- bnw/xmpp:bnw@bnw.im --- -- -
14:04:51 | Unknown option help
14:04:51
14:04:55 .-- xmpp:qnikst@gentoo.ru --- -- -
14:04:55 | comment --help
14:04:55 ----- ---- --- -- -
----- ---- --- -- -
14:04:55 .-- bnw/xmpp:bnw@bnw.im --- -- -
14:04:55 | Unknown option help
14:04:55