Skip to content

Instantly share code, notes, and snippets.

@Icelandjack
Icelandjack / Constraints.org
Last active July 12, 2026 02:52
Type Classes and Constraints
[[https://www.reddit.com/r/haskell/comments/4yl9je/collection_of_type_class_and_constraint_tricks/][Reddit discussion]].
*Disclaimer 1:* Type classes are great but they are not the right tool for every job. Enjoy some [[http://www.haskellforall.com/2012/05/scrap-your-type-classes.html][balance]] and [[http://mpickering.github.io/posts/2018-03-20-recordsvstypeclasses.html][balance to your balance]].
*Disclaimer 2:* I should tidy this up but probably won't.
*Disclaimer 3:* Yeah called it, better to be realistic.
Type classes are a language of their own, this is an attempt to document features and give a name to them.