We present the structure editor design of Hazel, a live functional programming language and editor. By virtue of its type-aware edit actions and execution semantics for incomplete programs, Hazel enforces the unique invariant that every program edit state is not only syntactically well-formed, but also statically and dynamically well-defined. Central to these guarantees is the use of typed holes to enclose incomplete and type-inconsistent parts of the program