Babel makes extensive use of Flow. So I guess that counts as expressive static typing.