Generally speaking, for enterprises, gradual dependent typing is fine, because if they don't want to get accustomed to it, they can simply ignore to up propagate additional constraints upwards to the stack whereas for general dependent typing, they are forced to do so, giving them a second Rust.