Abstract objects like types, if they exist, must be causally inert and thus cannot explain why any p...