Haskell mode to handle Idris files.