Learn how GHC analyzes Haskell code to type-check it in the correct order and what are the flaws of the current implementation....
12 points
2 points