They are fixing omissions related to full dependent types, many of them. Compare language features and Haskell's approach: Erlang and distributed-process, goro

They are fixing omissions related to full dependent types, many of them. Compare language features and Haskell's approach: Erlang and distributed-process, goroutines and channels and Control.Concurrent(.Chan), (D)STM is a library, Control.Applicative and Control.Monad for many things hardly expressible in any other language, etc, etc. Linear types, I am afraid, would go the way implicit parameters went - their use is cumbersome and they really do not help much with day-to-day programming and when they are needed they can be perfectly implemented with a library.