CallStack package:ghc

Is a PredType a CallStack implicit parameter? If so, return the name of the parameter.
Is a type a CallStack?
Evidence for CallStack implicit parameters.
A call stack constraint, but only when isDebugOn.