I kind of agree, but I feel like the retrofitting of gradual types onto existing languages is often awkward even though the idea of gradual typing itself is very good.