mixed implies multiple types.