> "or it could push the task of precondition checking to its caller, and enforce via types" Or the enforcement could be done via a design-by-contract disciplin

> "or it could push the task of precondition checking to its caller, and enforce via types" Or the enforcement could be done via a design-by-contract discipline. Either using classical assertions, or something like reusable specifications in Clojure's spec library.