Haskell: Control.Category.Monoidal: associate，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也没有声明它，只声明了左侧和右侧的unitor组件(idl和idr)，也省略了它们的反转。

有没有可能以我忽略的规范方式从这些态射中得到逆，或者为什么这些逆被省略了？

Answer 1

看起来相反的情况是由类Coassociative定义的，可能只是为了更具粒度和通用性。