Re: and / or

On Tue, Aug 19, 2014 at 2:48 AM, John Meacham 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