多相型なんて,要するに型変数に代入してるだけだ