DP→type-c逆変換とかで