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也没有声明它，只是左右的unitor组件（idl和idr），并且也省略了它们的反转。
是否有可能以我正在忽略的规范方式从这些态射中获得逆，或者为什么反转被省略？