You could analogously explain how of course Lisp has types, you just implement Hindley-Milner and slot it in in front of the standard library. Only, if the auth

You could analogously explain how of course Lisp has types, you just implement Hindley-Milner and slot it in in front of the standard library. Only, if the author wrote that, I'd think I was hallucinating.