単位元と結合律を保存する高階関数は関手
という理解は正しいでしょうか?