anchor.diff:  
     ihaskell = callPackage ../development/tools/haskell/ihaskell/wrapper.nix {
       inherit (pythonPackages) ipython;
  -    inherit (haskellngPackages) ihaskell ghcWithPackages;
  +    inherit (haskellPackages) ihaskell ghcWithPackages;
       packages = config.ihaskell.packages or (self: []);
     };
   
  
positive.code: 
    compcert = callPackage ../development/compilers/compcert {};
  
    cryptol = haskellngPackages.cryptol;
  
    cython = pythonPackages.cython;
    cython3 = python3Packages.cython;
  
negative.code:   agda = callPackage ../build-support/agda {
      glibcLocales = if pkgs.stdenv.isLinux then pkgs.glibcLocales else null;
      extension = self : super : { };
      inherit (haskell.packages.ghc784) Agda;
      inherit writeScriptBin;
    };
  
  