lefants haskell sudoku solver