T159b.hs

import GHC.Stack.Annotation.Experimental (annotateCallStackIO,annotateStackShowIO,annotateStackStringIO)

main :: IO ()
main = do
  annotateCallStackIO $ do
    annotateStackShowIO ([1..4] :: [Int]) $ do
      annotateStackStringIO "Lovely annotation" $ do
        foo 500

foo :: Int -> IO ()
foo arg =
  putStrLn $ "foo: " <> show (arg * arg * arg)