Changes in new versions / Swift 4.1

Recursive constraints on associated types

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