↓みたいな何かでもいいのかもしれないけど、 -> <F: Foo> F のような記法を導入するなら何かジェネリクス的な記法で解決できないかなと。特に具体的なアイデアがあるわけじゃないけど。 typealias Bar = foo1.(some Foo) typealias Baz = foo2.(some Foo)