Refining Haskell code with typed holes and Emacs: http://t.co/VQFZDRtz89