We derive a formula for expressing free cumulants whose entries are product
s of random variables in terms of the lattice structure of non-crossing par
titions. We show the usefulness of that result by giving direct and concept
ually simple proofs for a lot of results about R-diagonal elements. Our inv
estigations do not assume the trace property for the considered linear func
tionals. (C) 2000 Academic Press.