post: importance of gradual types