combining algebras is not extensible