それって静的型言語でも多相型を使ってれば普通に起こることだけど?