Is Spec a Good Tool for Type Inference?

The real rationale in my mind is to generate more optimal code. And I think spec's much more powerful with, you know, telling you at compile time that things are wrong. Do you see any, any way that spec's could be combined into this sort of type inference stuff or is it just too dynamic and too, too hard to bring into this line of type inference?