anchor.diff:  
           buildPhase = if buildPhase != null then buildPhase else ''
             runHook preBuild
  -          agda -i ${dirOf everythingFile} ${everythingFile}
  +          agda ${includePathArgs} ${everythingFile}
             runHook postBuild
           '';
   
  
positive.code:     , ...
      }: let
        agdaWithArgs = withPackages (builtins.filter (p: p ? isAgdaDerivation) buildInputs);
      in
        {
          inherit libraryName libraryFile;
  
negative.code:     , meta
      , buildInputs ? []
      , everythingFile ? "./Everything.agda"
      , includePaths ? []
      , libraryName ? pname
      , libraryFile ? "${libraryName}.agda-lib"
      , buildPhase ? null
  