The thing is if it were a static language this state is just 1 step away from full-blown programs, as it could see the function does not exist, and ask it to generate the body.