One reason it’s hard to teach PATs is the most famous PAT is Collection, and every common impl of Collection is also generic, which makes things confusing. Looking for a common PAT where most impls aren’t generic. One example is Equatable, but it’s more confusing to explain.