On 2014-01-31 at 22:21:09 +0100, Gabor Greif wrote: > Unless I missed something big style, -XTypeHoles has been > renamed to -XTypedHoles and not removed at all. fyi, http://git.haskell.org/ghc.git/commitdiff/235fd88a9a35a6ca1aed70ff71291d7b433e45e4