The SAT patch currently in the compiler does get "foldl'", but not "foo". I'm not sure what you were expecting to happen with "foo": only the function unstream is recursive, and it is not amenable to the SAT. Presumably you wanted some combination of functions to undergo SATing, but which one?
↧