Re: Proposal discussion summary: Adding on

On Wed, Nov 08, 2006 at 09:05:03PM -0600, Taral wrote:

On 11/8/06, Ashley Yakeley wrote:

...

If we're creating Data.Function, can we add an "instance Functor ((->) a)" to it? I seem to remember it's currently in an odd place. Or maybe we should create a Data.Functor module.

Hm, that's not a bad idea. Functor instances for common types. Right now it's in the Control.Monad.Reader module, since (->) a is a reader monad.

It's currently in Control.Monad.Instances (in the base package). (The instances there can't be in the Prelude, because that would be incompatible with Haskell 98.)