あと、戻り値以外のケースでも問題ないかな？ let a: <F: Foo> F = makeFoo() typealias Bar = <F: Foo> F