1. Quantified class constraints
2. Manuel M. T. Chakravarty , Gabriele Keller , and Simon L . Peyton Jones. 2005. Associated type synonyms . In Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia , September 26-28, 2005 , Olivier Danvy and Benjamin C. Pierce (Eds.). ACM, Tallinn, Estonia. 241–253. Manuel M. T. Chakravarty, Gabriele Keller, and Simon L. Peyton Jones. 2005. Associated type synonyms. In Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, Olivier Danvy and Benjamin C. Pierce (Eds.). ACM, Tallinn, Estonia. 241–253.
3. Duncan Coutts . 2009. Regression testing with Hackage. https://well-typed.com/blog/24/ Last accessed June 2, 2022 Duncan Coutts. 2009. Regression testing with Hackage. https://well-typed.com/blog/24/ Last accessed June 2, 2022
4. Closed type families with overlapping equations
5. Paul Hudak , Philip Wadler , Arvind, Brian Boutel , Jon Fairbairn , Joseph Fasel , Kevin Hammond , John Hughes , Thomas Johnsson , Dick Kieburtz , Rishiyur Nikhil , Simon Peyton Jones , Mike Reeve, David Wise, and Jonathan Young. 1990 . Report on the Programming Language Haskell, A Non-strict Purely Functional Language . https://www.haskell.org/definition/haskell-report-1.0.tar.gz Paul Hudak, Philip Wadler, Arvind, Brian Boutel, Jon Fairbairn, Joseph Fasel, Kevin Hammond, John Hughes, Thomas Johnsson, Dick Kieburtz, Rishiyur Nikhil, Simon Peyton Jones, Mike Reeve, David Wise, and Jonathan Young. 1990. Report on the Programming Language Haskell, A Non-strict Purely Functional Language. https://www.haskell.org/definition/haskell-report-1.0.tar.gz