もうちょっと。letでpolymorphicになることを確認すれば、とりあえず終了。