Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc. - View it on GitHub