Proposal: Use (.) and id from Control.Category in Prelude

Daniel Gorín dgorin at
Sun Jun 15 14:43:44 UTC 2014

On 15 Jun 2014, at 16:13, Herbert Valerio Riedel <hvr at> wrote:

> I wonder if Haskell could be extended to be able to write something like
> import Data.Category
> and have the more general versions of (.) and id automatically shadow
> the monomorphic versions brought in scope by the Prelude.
> Just a thought (which is probably not that new)

There was a brief discussion about it some time ago:

More information about the Libraries mailing list