Hello, does anyone know whether you can somehow change the currently active language flags during a ghci session (say change what `:show languages' outputs)? If no, is this possible by using the GHC API? Cheers, Simon