単独で型を決められない関数などのこと。それ以外の情報を得ることではじめて型を決定できる。