  Free probabilistic considerations of type B first appeared in a paper by
Biane, Goodman and Nica in 2003. Recently, connections between type B and
infinitesimal free probability were put into evidence by Belinschi and
Shlyakhtenko (arXiv:0903.2721). The interplay between "type B" and
"infinitesimal" is also the object of the present paper. We study infinitesimal
freeness for a family of unital subalgebras A_1, ..., A_k in an infinitesimal
noncommutative probability space (A, phi, phi'), and we introduce a concept of
infinitesimal non-crossing cumulant functionals for (A, phi, phi'), obtained by
taking a formal derivative in the formula for usual non-crossing cumulants. We
prove that the infinitesimal freeness of A_1, ... A_k is equivalent to a
vanishing condition for mixed cumulants; this gives the infinitesimal
counterpart for a theorem of Speicher from "usual" free probability. We show
that the lattices of non-crossing partitions of type B appear in the
combinatorial study of (A, phi, phi'), in the formulas for infinitesimal
cumulants and when describing alternating products of infinitesimally free
random variables. As an application of alternating free products, we observe
the infinitesimal analogue for the well-known fact that freeness is preserved
under compression with a free projection. As another application, we observe
the infinitesimal analogue for a well-known procedure used to construct free
families of free Poisson elements. Finally, we discuss situations when the
freeness of A_1, ..., A_k in (A, phi) can be naturally upgraded to
infinitesimal freeness in (A, phi, phi'), for a suitable choice of a "companion
functional" phi'.
