ArcConsistency.hs