I found this article about Dynamic Dispatch in Haskell.
Dynamic Dispatch in Haskell, or: How Can I Make My Code Extendable?
Not an easy read. Too much for me at this time.
Steven Syrek writes about how he teaches Haskell.
Some Notes on Haskell Pedagogy
I want to try this.
Matt Parsons about type level programming in Haskell.
Basic Type Level Programming in Haskell
If type level programming in Haskell is like template meta programming in C++, then I do not want this.
You might want to have a look at the Intel Haskell Research Compiler (HRC).
The Functional Language Research Compiler
Please note: “We at Intel Labs are no longer actively working on this compiler.”