Effective theories of coupled classical and quantum variables