HasCallStack with argument

main.hs

{-# LANGUAGE RankNTypes #-}

import Control.Monad (forM_)
import GHC.Stack

httpCall :: HasCallStack => String -> IO ()
httpCall url = do
  putStrLn $ prettyCallStack callStack
  print $ "GET " <> url <> " resolved"

retry :: HasCallStack => (HasCallStack => a -> IO()) -> a -> IO ()
retry op arg =
  forM_ [1] $ \i ->
    op arg

main :: IO ()
main = retry httpCall "/users"