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

[Henning Thielemann]

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.