静的型チェックとクロージャの相性が悪いところってたとえばどんな?