↓はできるみたいですけどどこまでできるんでしょうね。 let bar = (\Foo.bar as (Foo) -> Bar)(foo)