showFR :: ConflictSet -> FailReason -> String
showFR _ InconsistentInitialConstraints   = " (inconsistent initial constraints)"
showFR :: ConflictSet -> FailReason -> String
showFR _ InconsistentInitialConstraints   = " (inconsistent initial constraints)"
showFR _ InconsistentInitialConstraints   = " (inconsistent initial constraints)"