To those pointing out that it's dynamically typed, meta's rust implementation - that they use in buck2 - supports type annotations.