Learn about type families, one of the most powerful type-level programming features in Haskell....
111 points