DataKinds Are Not What You Think
The DataKinds language extension doesn’t work the way you think it does… probably. Of course I can’t possibly know what mental model you have for DataKinds. Perhaps you are one of the few who understand its true nature. But I’ve seen experts – yes, type-level Haskell wizards – fall into the trap that I’m about to expose. How DataKinds are commonly explained To set the stage, let’s take a look at how DataKinds are commonly explained. Matt Parsons […]