I'm surprised. Usually, the gripes are the compile times or the lack of tooling compared to other languages. For functional programming its quite expressive. ZIO and Typelevel Cats.