Define Haskell and Coq key mappings only in the normal mode