Depends what you are going for. If the point of type declarations is speed, I think most high-quality CL implementations will take advantage of a type declarati

Depends what you are going for. If the point of type declarations is speed, I think most high-quality CL implementations will take advantage of a type declaration. If the point is compile-time type safety, yeah, that's a more obscure feature. Of course you can always use check-type for run-time type safety though.