> Try not to lose sight of the fact that type checking is supposed to be an aid to correctness and not an intellectually satisfying end in itself. Indeed, love

> Try not to lose sight of the fact that type checking is supposed to be an aid to correctness and not an intellectually satisfying end in itself. Indeed, loved that closing sentence.