deleteFilefromUser (Just user, fName)
    | oldLen == length newFiles = failure $ NoSuchFile fName
    | otherwise = success $ user { iUserFiles = newFiles }
    where newFiles = delete (File fName "") (iUserFiles user)
          oldLen = length $ iUserFiles user

-- = Pulling a file
-- | provide data from a user-pull request
deleteFilefromUser (Just user, fName)
    | oldLen == length newFiles = failure $ NoSuchFile fName
    | otherwise = success $ user { iUserFiles = newFiles }
    where newFiles = delete (File fName "") (iUserFiles user)
          oldLen = length $ iUserFiles user

-- = Pulling a file
-- | provide data from a user-pull request
deleteFilefromUser (Just user, fName)
    | oldLen == length newFiles = failure $ NoSuchFile fName
    | otherwise = success $ user { iUserFiles = newFiles }
    where newFiles = delete (File fName "") (iUserFiles user)
          oldLen = length $ iUserFiles user

-- = Pulling a file
-- | provide data from a user-pull request