Tutorial on using advanced type system in Julia?

Is there a tutorial on advanced use of types in Julia? The manual isn’t enough for me to read advanced abstract type usage in actual packages.

I think Quantitative Economics with Julia might be helpful who would like to study Julia, especially type system.

https://julia.quantecon.org/index_toc.html