Tweak haskell smart gt to account for type constraint arrows.
Tweak readme keybinding example