https://typecurry.com/4543-type-curry%e6%a1%8c%e5%b8%83%e5%8d%80%e8%bf%91%e6%97%a5%e6%9b%b4%e6%96%b0/