Learning Clojure: dependent types and contract-based programming

<i>This is clearly a dependent type, as it implies checking on values.</i><p>This is a value.