public protocol Critter {
  associatedtype Fur
}
public protocol Pet {}

public typealias Cat = Critter & Pet

public protocol Kitten : Cat {}

extension Kitten {
  public func pet() -> Fur {
    while true {}
  }
}

public final class Meow<Purrs> : Kitten {
  public typealias Fur = Purrs
}