Îõ³h&xO Safe-Inferred /1ÁÂÃÄÅ×ØÜÉrequire-callstackÇAn internal detail. This is a specialization of the trick used in the  reflection° library to reify constraints. It's based on some GHC trickery - notably, that dictionaries become runtime parameters, and a no method dictionary has the same runtime rep as ().require-callstackAn alias to make referring to * easier, since it is a bit of a mouthful.1If you see this, you probably need to either add RequireCallStack3 to the function constraints, or you need to call  to discharge it.require-callstack9If you're running into this class, then you need to add RequireCallStack to your function's signature, or discharge the constraint using .I'd like to provide a  TypeErroró instance here with a good message, but unfortunately, I won't be able to do that because it fails early. I need  Unsatisfiableò in GHC 9.8 for that. So, until I get that, you'll have to see an error message that smuggles the suggestion in: ÏNo instance for 'Add_RequireCallStack_ToFunctionContext_OrUse_provideCallStack'&Which, hey, it is better than nothing!require-callstack Satisfy a RequireCallStackÇ constraint for the given block. Can be used instead of propagating a RequireCallStack up the call graph.Usage: Ômain :: IO () main = do provideCallStack $ do errorRequireCallStack "hello"  Note how main does not have a  or RequireCallStack6 constraint. This function eliminates them, so that errorRequireCallStack) can be called without compilation error. Safe-Inferred /1ÁÂÃÄÅ×ØÜCrequire-callstackThis constraint is similar to ‰ in that it's presence will capture a stack frame for the call site of the function. This helps to preserve callstack provenance, whichrequire-callstack Raise an  ErrorCall and incur a " constraint while you do so. This  /require-callstack-0.1.0.0-1JWdjas7aF9LGKlSc5NIzRequireCallStack.InternalRequireCallStackMagicCallStackRequireCallStackImpl=Add_RequireCallStack_ToFunctionContext_OrUse_provideCallStackprovideCallStackerrorRequireCallStackbaseGHC.Stack.Types HasCallStack