fileEditingThread :: IO ()
fileEditingThread = do
  threadDelay 1000000
  -- edit the internal library and return to ghci
  copy "src-internal/Internal.v2" "src-internal/Internal.hs"
  threadDelay 1000000
  -- edit the internal library and end thread, returning to ghci
  copy "src/Lib.v2" "src/Lib.hs"
fileEditingThread :: IO ()
fileEditingThread = do
  threadDelay 1000000
  -- edit the internal library and return to ghci
  copy "src-internal/Internal.v2" "src-internal/Internal.hs"
  threadDelay 1000000
  -- edit the internal library and end thread, returning to ghci
  copy "src/Lib.v2" "src/Lib.hs"
fileEditingThread = do
  threadDelay 1000000
  -- edit the internal library and return to ghci
  copy "src-internal/Internal.v2" "src-internal/Internal.hs"
  threadDelay 1000000
  -- edit the internal library and end thread, returning to ghci
  copy "src/Lib.v2" "src/Lib.hs"