We use spec a lot, using orchestra’s defn-spec combined with expound for improved error reporting.

It’s not a type system, but it’s very concise and easy to add validations to important functions. This removes the “lazy and undisciplined” part of the equation.