This page has moved to /blog/2019/12/01/name-binding-and-dispatch/.