interpRestIO :: RestF a -> IO a
interpRestIO (Get path withResponse) = do
  putStrLn $ "I should GET " ++ path
  result <- return "mocked GET response"
  return (withResponse result)
interpRestIO :: RestF a -> IO a
interpRestIO (Get path withResponse) = do
  putStrLn $ "I should GET " ++ path
  result <- return "mocked GET response"
  return (withResponse result)
interpRestIO (Get path withResponse) = do
  putStrLn $ "I should GET " ++ path
  result <- return "mocked GET response"
  return (withResponse result)