import "hint" HLint.HLint
ignore "Eta reduce"
ignore "Reduce duplication"
ignore "Avoid lambda"

-- in between, should fix eventually,
--but make relating to original coq development more subtle
-- but also doesnt really matter
ignore "Use camelCase"
ignore "Redundant if"
ignore "Use fromMaybe"
ignore "Use list comprehension"
-- debatable, but really about style so not interesting
ignore "Use <$>"
