Tip-sınıfları 101'de "Most expressions are such" a kadar gelindi