Use when scala's advanced type system including generics, variance, type bounds, implicit conversions, type classes, higher-kinded types, path-dependent types, and abstract type members for building t
jutsu/jutsu-scala/skills/scala-type-system/SKILL.md(main)