Dear Haskell enthusiast,
I made a video that explains what GADTs are and how to use them in Haskell. Apparently, I have adopted the style of Khan Academy.
Now, this is not just a video, but also an experiment in pedagogy and I would very much like to hear your comments about content, quality, etc!
What’s more, I have also written an equivalent explanation in text form. Which one is better to learn from, which one do you prefer and why?
In other words, choose one - or both - of the following links
and tell me what you think.