P を T として扱おうとした時点で、暗黙的に open するんじゃない？