Sure, but I still don’t think they’re equivalent. Not all type systems are created equal, and TS has to work under a wildly different set of constraints (like escape hatches) than Elm does.
I appreciate that you assumed good faith. For what it’s worth, “yak shaving” is an analogy to what programmers often find themselves spending their time doing.
I totally agree with you! I can't say that conversation belongs alongside this post, though.