どんな型でもって、特定のメソッド要求してる時点で型が限定されてんじゃん?