clojure exists as an example of people trying types and then realising it's cruft and not needed.