すべての変数は何らかの限定を受けなくては認めないという
かたくなな思考であるなら全称閉包を取ってください