[billburcham]

That's right spec is a runtime thing.

This Spectrum thing purports to evaluate your specs at compile time though:

https://github.com/arohner/spectrum