Proposal discussion summary: Adding on

Taral taralx at
Wed Nov 8 22:05:03 EST 2006

On 11/8/06, Ashley Yakeley <ashley at> wrote:
> Nils Anders Danielsson wrote:
> > * Consensus was reached that a module containing on plus some
> >   functions from the prelude should be added.
> That's S of SKI, isn't it? Looks good, as we already have "const" and "id".

No, "ap" is S : \a b c -> a c (b c). This is \a b c d -> a (b c) (b d).

> 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

Taral <taralx at>
"You can't prove anything."
    -- Gödel's Incompetence Theorem

More information about the Libraries mailing list