関数はカリー化できて、それは便利な道具になります。同様に、関手をカリー化することができます。関手のカリー化は割とお馴染みかも知れません。それだけでなく、自然変換もカリー化することができます。$`\newcommand{\cat}[1]{\mathcal{#1}} %\newcommand…