Protocols

Conformance checking (is, as)

This example is in the full version, available in the app stores: