Please, let's put this confusion to end
FLYCHECK!
Agda mode (don't ask)
Flycheck for haskell
Anti-IDO Campaign
Haskell mode conf