Basically you says if a type system is optional, people tend not to use it, because most of the times they are good without it.

I agree.

But we do use spec very successfully for complex data structure validations and example data generation.