Re: [GHC] #8113: Cannot override ghci builtin commands with :def[!]