Нельзя просто взять и быстренько посмотрев понять что-то вроде семейств типов, полиморфизма высшего порядка, экзистенциальной квантификации, и т.д. Это не просто кусок API какого-то, а фундаментальное знание, отражающееся на мышлении в рамках языка. Поэтому чтобы “окей, он знает куда идти и где смотреть” работало, человек должен был уже с фичами языка разобраться давно
Вот это и мешает Хаскелю. Мол, изучите GHC, чтобы каждую запятую помнили, и только потом идите лес валить.
А на самом деле должны быть готовые решения (фреймворки, гайдлайны, паттерны), которые позволяют решать типичные проблемы и не быть корифеем от языка