anchor.diff:  
       open FTPHelpers
   
  +    ///Model of a file in the GEO FTP server structure
       type GEODataFile = {
           FileName: string
           FullPath: string
  
positive.code: 
  module GEO =
  
      open System
      open System.IO
      open System.Net
      open System.Net.Security
  
      [<Literal>]
      let rootGEOAdress = @"ftp://ftp.ncbi.nlm.nih.gov/geo"
  
      module private FTPHelpers = 
  
          let constructFTPAdress (additionalPath: string) =
              sprintf "%s/%s" rootGEOAdress additionalPath
  
          let getFileSize (filePath:string) = 
              let req  = WebRequest.Create(filePath) //:?> FtpWebRequest
  
negative.code:         fileNames
          |> Array.mapi (fun i fileName -> createGEODataFile fileName (sprintf "%s%s" path fileName) fileSizes.[i] datesModified.[i])
  
      ///Download a file from the GEO FTP server. Can be either uncompressed or binary.
      let downloadGEOFile (file:GEODataFile) (savePath:string) =
          let binaryExtensions = [|".zip";".gz";".rar"|]
          if Array.contains (Path.GetExtension file.FullPath) binaryExtensions then 
  