It typechecks! Ship it!