Concepts are for Types at compile time while Contracts are for Values at runtime.