Renaming performed to avoid confusing with ghc api module "Debugger"