-- -----------------------------------------------------------------------------
-- Pretty-printing entities that we get from the GHC API
-- -----------------------------------------------------------------------------
-- Pretty-printing entities that we get from the GHC API