@rae: How to choose between Typeable, Data, and Generic in Haskell 

Ok, I tried out `eqTypeRep` and `==`. The simple == doesn't work for this example, but it might be OK in other cases. Using `eqTypeRep`, the type equality becomes visible to the compiler. Using the Eq instance of `TypeRep` implies that the type equivalence isn't available at compile-time, only at runtime and thus I can't use the fact that x is an `Int` later in the code.

I've looked at scrap your boilerplate countless times, but this `everywhere` example was so painless! Thank you Richard Eisenberg!

Excellent! BTW, what is the VS Code extension you're using that gives you GHCi access inside the editor? I really need this kind of REPL :)

Thanks, this was the best video on the topic that I could find, very useful and to the point, with enough pointers to look deeper into specific aspects for anyone interested

Thanks for this video. Generic programming *terrified* me until I had a go and wrote some generic binary codecs (a la Aeson but for binary data). Made me a lot more comfortable with all the type level features of Haskell, and removed my fear of UndecidableInstances. The sort of high level algebra you're forced into feels like the real meat of Haskell, stuff you can't do in other languages (at least not with the same safety guarantees). When the code you're writing is directed by the structure of the type(s) involved, you can likely exploit Generic.

Very useful! I'm always confused about these seemingly similar concepts. The explanations are so clear!

Amazing, thank you! You've gained a new subscriber.

awesome video keep it up!

👏