>>880
A は I を実装してないので、少なくともP<A>ではない。