<div dir="ltr"><div dir="ltr"><div>Hello Cafe,</div><div><br></div><div>So I've been learning a bit about the GHC extensions from <a href="https://github.com/i-am-tom/haskell-exercises" target="_blank">https://github.com/i-am-tom/haskell-exercises</a>. But the lessons say nothing about how the extensions work behind the scenes.</div><div><br></div><div>For example, I've assumed that RankNTypes would require something similar to dynamic dispatch in imperative languages in order to work. But this is just an assumption.</div><div><br></div><div>So I was wondering where I can get a quick succinct read (or a summary at least) about how these extensions are implemented, as well as their performance cost (or gain!).</div><div><br></div><div>Also if someone knows other tutorials and lessons for these, and other extensions, please feel free to share them :p<br></div><div><br></div><div>Thank you,<br></div><div>Michel :)<br></div></div></div>