I started reading about GADT in Haskell Wiki but didn’t feel quite comfortable understanding it. Do you recommend a specific book chapter or a blog post explaining GADT for a Haskell beginner?
I started reading about GADT in Haskell Wiki but didn’t feel quite comfortable understanding
Share
Apfelmus has made video tutorial for GADTs which might be helpful.