Questions about the future of Protocols with Associated Types

[Dante-Broggi]

In that other post, there is a problem with this section:

@regexident

protocol Bindable<T> {
// ...
func flatMap<T>(_ transform: (Self.Element) throws -> T?) rethrows -> Output<T>
// ...
}

Because it should be more like:

protocol Bindable<T> {
  // …
  associatedtype Flattenable: Bindable = Self
  func flatMap(_ transform: (Self.Element) throws -> Flattenable) rethrows → Output<Flattenable.Element>
}