Speaking of small functions

[Josef Svenningsson]

On 10/30/06, Donald Bruce Stewart <dons at cse.unsw.edu.au> wrote:
> I'm reminded of some of the things from the old Gofer CC prelude,
>
>     http://www.cse.unsw.edu.au/~dons/data/cc.prelude
>
>     (@@)             :: Monad m => (a -> m b) -> (c -> m a) -> (c -> m b)
>     f @@ g            = join . map f . g
>
> Do we have some references in the literature (a Mark Jones paper perhaps?)
>
Indeed. "Functional Programming with Overloading and Higher-Order Polymorphism":
http://web.cecs.pdx.edu/~mpj/pubs/springschool.html
Page 31.

Josef Svenningsson