My situation is: I statically know the types of things at compile time. I'm not sure how to 'define things stricter than that'. My question was: what benefits

My situation is: I statically know the types of things at compile time. I'm not sure how to 'define things stricter than that'. My question was: what benefits would I get from sometimes not knowing the types at compile time (which is what I guess gradual typing is)?