Monadic implementation of zipper functions
sudoku linear and parallel implementations