typealias Bar = [Piyo] が省略できないのは、 typealias Piyo = P が無いと推論できない事だから？

3:25 AM

一方、typealias Bar == String が省略できるのは、 : FooA だけで推論できることだから？