M<M<A,B>,C> か M<A,M<B,C>> になる