Language.PureScript.Linter.Exhaustive