あーこれ <T: P>(T) -> (A) -> R じゃなくて (P) -> (A) -> R かも。。？