制約のないT　から実行時に T: P で分岐する事は不可能なのかな？ (edited)