> monadの有用な性質
って結合法則?
なんとなく、自然変換にしとくと、添字を省略した等式変形が出来るというイメージが