renaming imported identifiers (Was: Proposal: unify constant functors)

On Fri, 4 May 2012, Andreas Abel wrote:

P.P.S.: All of discussion would be superfluous if import statements had a renaming option like in Agda.

open import Data.Functor.Constant renaming (Constant to K)

Maybe that could be a feature of future Haskell as well?

If library writers would define names that work well with qualification, then we could simply use qualification renaming for that.