[teo_zero]

If foo() happily accepts a number instead of a Prime, then this is not robust enough: you can always forget the check!

It's the compiler that should warn you about a wrong type.

[PartiallyTyped]

Ah, you are right, i was under the impression that the compiler made it more specific.

My bad.