associatedtype
typealias
precedencegroup
func higherThan<T: Comparable>(_ x: T, _ y: T) -> Bool { return x > y } higherThan(3, 2) // true