GHC provides a plugin interface for writing type checker plugins and for some time also frontend plugins. The plugin interface, however could be much more powerful.

With the addition of a few new hooks, more powerful plugins can be build that can control the compilation pipeline and other parts of ghc.

This talk will outline what is currently possible, and what new hooks the author has in development, as well as issues arising from using the plugin interface.