This implements the feature described in the GenericsManifesto here: https://github.com/swiftlang/swift/blob/main/docs/GenericsManifesto.md#generic-value-parameters One can introduce a value generi...