Higher kinded polymorphism makes things EASIER for people new to types and FP. When teaching, I see this over and over and over and over.
Conversation
Replying to
Wonder if dependent type systems like Idris would help too. In order to teach DTs you have to 'unteach' lots of preconceptions folks have about type systems. 🤔