[kbenson]

There's always at least one type checker, the one running in your head. Some languages provide another type checker to help offload some of this cognitive load.