Accessing the "original" names via GHC API