The documentation https://downloads.haskell.org/~ghc/8.0.1/docs/html/libraries/Cabal-1.24.0.0/Language-Haskell-Extension.html was mentioned in a post on haskell-cafe, and I found that every link to a specific KnownExtension there is broken. Olaf