Any non-complete type is called a partial type.