Order of Evaluation

Hi
  (take 4 . map (>0)) (f s t)
  where
        s = 2 : t
        t = 3 : s
  f = zipWith (-)
What would be the order of evaluation for the above code? How would I
illustrate the evaluation step-by-step?
I'm guessing that  the code necessitates lazy evaluation and as such
it starts with take then it applies f which in turn applies s and t
and zipWith until the first element satisfies the predicate in map
and This is repeated 4 times
What does the list think?
Many thanks,
Paul
P.S. I'm not done with induction. I'm just letting it rst for a bit.

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@...
http://www.haskell.org/mailman/listinfo/haskell-cafe