The aspiration of gradual typing — that typed and untyped code can coexist happily, with errors reported at runtime when the types are found to be wrong — has led many languages, including Grace, to adopt the paradigm. The practice of gradual typing often differs substantially from the theory, however. This talk will examine several pain points between the theory and its application, including subtyping, exceptions, and static analysis, in both Grace and other languages.