Data.Monoid.Cancellative
class CommutativeMonoid m
class ReductiveMonoid m
class CancellativeMonoid m
class GCDMonoid m
class LeftReductiveMonoid m
class RightReductiveMonoid m
class LeftCancellativeMonoid m
class RightCancellativeMonoid m
class LeftGCDMonoid m
class RightGCDMonoid m