why lean scala