You only ever find tutorials on writing type checkers in things like haskell or similar.
It is often like that owl joke in art. "Step one draw a circle, step two draw some triangles, step three draw the rest of the fucking owl" and its hard to get into step 3