A Clash Course in Solving Sudoku (Functional Pearl) [pdf]