Re: Simplifying Core pretty-printing via GHC API?