A video that explains GADTs

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.