conditional conformance

Conforming to a protocol only when a type parameter does too. For example, `Queue: Equatable where Element: Equatable`.