Folding object types back into topic types