Scala Monadic Constraint Solver