We propose a generalization of Bailey's lemma, useful for proving q-se
ries identities. As an application, generalizations of Euler's identit
y, the Rogers-Ramanujan identities, and the Andrews-Gordon identities
are derived. This generalized Bailey lemma also allows one to derive t
he branching functions of higher-level A(1)((1)) cosets.