and / or

[David Feuer]

On Tue, Aug 19, 2014 at 2:48 AM, John Meacham <john at repetae.net> wrote:

> A better idea is a worker wrapper split, where the wrapper pulls of a
> single argument (for when you know the list has at least one entry)
> and the worker takes the extra argument and can be written in a very
> fusible way and code expansion potential is capped.

I'm not sure I quite get what you mean there. Something like this?

forall x1 xs . and (x1 : xs) = foldr (&&) x1 xs
forall x1 . and [x1] = x1