> All these refactoring processes are doable by pleasant conversation with ghc typecheckers. http://www.reddit.com/r/haskell/comments.....on/c6ca5y5