https://typecurry.com/3778-%e6%98%a8%e5%a4%a9%e5%9c%a8type-curry%e7%9a%84%e9%87%8d%e5%a4%a7%e6%9b%b4%e6%96%b0/