関連定数が乗ったなら、次は依存型だ!