Haskell:Control.Category.Monoidal:关联、idl 和 idr 的逆

Question

Control.Category.Associative 声明态射 associate:

class Bifunctor p k k k => Associative k p where
    associate :: k (p (p a b) c) (p a (p b c))

但是，根据我对幺半群范畴的理解，关联器应该是同构的。它的逆在哪里？Control.Categor.Monoidal 也没有声明它，只是声明左右单位器组件(idl 和 idr)，并且还省略了它们的逆。

是否有可能以我忽略的规范方式从这些态射中获得逆矩阵，或者为什么省略逆矩阵？

Answer 1

看起来逆函数是由类 Coassociative 定义的，可能只是为了更精细和通用。