If you've ever fancied implementing a type checker, there's a fun example in readable JS here: https://languagengine.co/blog/so-you-want-to-write-a-type-checker/