[Haskell-cafe] Re: applicative challenge

[Achim Schneider]

Conor McBride <conor at strictlypositive.org> wrote:

> Remember folks: Missiles need miffy!
> 
Hmmmm. Iff you have something like CoPointed or Foldable, you can
thread your own, Applicative, tail back into yourself and decide what
you are by inspecting it.

That makes foldr the join of Hask itself, or something. Bear with me,
I'm merely attempting to delurk our resident category theorists by
giving them headaches.

-- 
(c) this sig last receiving data processing entity. Inspect headers
for copyright history. All rights reserved. Copying, hiring, renting,
performance and/or quoting of this signature prohibited.