Re: [Haskell] Constraint Satisfaction Problem