Composing complexity classes