CallStack.hs

import GHC.Stack
import Control.Monad.Catch

main :: IO ()
main = execute 5 >>= print

execute :: (?loc :: CallStack) => Int -> IO Int
execute n = addCallStack $ print n >> fail "hello"

addCallStack :: (MonadCatch m, ?loc :: CallStack) => m a -> m a
addCallStack = handleAll (throwM . SqlErrorStack ?loc)

data SqlErrorStack = SqlErrorStack CallStack SomeException
  deriving (Show)

instance Exception SqlErrorStack