author specifically mentioned spec, which is a runtime validation/destructuring library, more powerful and flexible than any compile-time type system can ever hope to get