addLogToRest :: CloudFilesF a -> Free (Sum LogF RestF) a
addLogToRest inst@(SaveFile path bytes _) = do
  hoistFree InL $ log Debug ("Saving " ++ bytes ++ " to " ++ path)
  next <- hoistFree InR $ cloudFtoRestM inst
  hoistFree InL $ log Debug ("Saved to " ++ path)
  return next
addLogToRest :: CloudFilesF a -> Free (Sum LogF RestF) a
addLogToRest inst@(SaveFile path bytes _) = do
  hoistFree InL $ log Debug ("Saving " ++ bytes ++ " to " ++ path)
  next <- hoistFree InR $ cloudFtoRestM inst
  hoistFree InL $ log Debug ("Saved to " ++ path)
  return next
addLogToRest inst@(SaveFile path bytes _) = do
  hoistFree InL $ log Debug ("Saving " ++ bytes ++ " to " ++ path)
  next <- hoistFree InR $ cloudFtoRestM inst
  hoistFree InL $ log Debug ("Saved to " ++ path)
  return next