Change indentation for "module" keyword from Haskell to Idris syntax