anchor.diff:    ]) ++ (with pkgs.haskellPackages; [
       Agda
       cabal2nix
  +    ghc
       hpack
       idris
       # intero
  
positive.code:     pointfree
      pointful
      # FIXME: purescript
      titlecase
    ]) ++ (with pkgs.nodePackages; [
      # aglio
      diff-so-fancy
  
negative.code:       wxSupport = false;
      };
      gcc = pkgs.gcc5; # FIXME
      haskellPackages = pkgs.haskell.packages.ghc802.override {
        overrides = self: super: rec {
          idris = pkgs.haskell.lib.dontHaddock super.idris;
  