I’ve never personally tried Clojure[script] or Elm, so I have no real skin in this game, and I love Lisp and Scheme and Haskell alike, but:
Writing 4x more lines code can be more productive if your IDE makes it easier to write that code because of better tooling - say, because it can help refactor or provide effective type-directed autocomplete, so you don’t need to waste lots of time looking up documentation.
Or, you can be more productive even just if the documentation is better-organized, meaning when you have to look things up it takes you less time to find what you need.
Or, if the documentation is better, so you have to spend less time staring at it to understand.
Or, if there’s a larger community that provides solutions that are a google away when you’re stuck.
Or if the type-checker is better at catching errors in advance, meaning that even if you spend more time writing code, you spend less time testing and debugging it.
Or (and I’m speaking generally here and everywhere) if the compiler is significantly faster, so testing becomes less painful.
Or if the debugging tools are better, so that debugging is less painful.
Or if the code is considerably more readable, meaning you spend less time reading old code or others’ code and saying, “wait, what does this do again?”
Or, honestly, even if your lines of code are 1/4 as dense you can write 4x as many lines of code with, all other things being equal, roughly the same amount of productivity.
I’m sure there’s other things too. LOC is a questionable metric for the productivity a language ecosystem can provide is what I’m saying, basically.