https://typecurry.com/4492-type-curry%e6%a1%8c%e5%b8%83%e5%8d%80%e4%bb%8a%e6%97%a5%e6%9b%b4%e6%96%b0/