Why GADTs matter for performance (2015)

https://blog.janestreet.com/why-gadts-matter-for-performance/