$Callヤバイ。超ヤバイ。 flowtypeのUtility Typesを紹介する記事にて、 flowtypeのUtility Typeについて その3 $Callは関数の戻り値型を返す型です。 と紹介させていただいたのですが、この説明は間違いではないけど、$Callのヤバさを何一つ説明できてませんでした。(というか気づいていなかった) 発端 Support higher kinded type #30 ことの発端は上記issueのコメントを見たところから始まります。 From what I can tell, higher-kinded types are actually supported in Flow, though they are encoded using the simple-kinded function type and the utility type $Call
![flowtypeの$CallというHigher Kinded Type - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/7619c26bded3b5c66d56ce0b7dc5965e2eb44dca/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-9f5428127621718a910c8b63951390ad.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTkxNiZoPTMzNiZ0eHQ9Zmxvd3R5cGUlRTMlODElQUUlMjRDYWxsJUUzJTgxJUE4JUUzJTgxJTg0JUUzJTgxJTg2SGlnaGVyJTIwS2luZGVkJTIwVHlwZSZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnR4dC1jbGlwPWVsbGlwc2lzJnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9MzAzODM4NTFhYTQ0OTFiMWJlNzllMDFiYjcwZWM5ZTY%26mark-x%3D142%26mark-y%3D112%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTYxNiZ0eHQ9JTQwa2luemFsJnR4dC1jb2xvcj0lMjMyMTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9MzYmdHh0LWFsaWduPWxlZnQlMkN0b3Amcz02ZDM5YmI2YzVkNDRjNDU4MDgxNzdkODY1NzMxZjI2Mg%26blend-x%3D142%26blend-y%3D491%26blend-mode%3Dnormal%26s%3Dd8fae97fbc098e2e8a54a98f840582f7)