Nah, they're both unique names to GHC. It's just to make the public API more friendly.