> The one exception I know of is that a type which is a class with protocol conformances, e.g. `UIViewController<UIPickerViewDataSource>`, cannot be represented exactly in Swift

Sort of doable with generics, but only from Swift code:

    <ViewController: UIViewController where ViewController: UIPickerViewDataSource>