Provides a [hedgehog] property to check the associativity axiom for the `PartialSemigroup` class defined in the [partial-semigroup] package. [hedgehog]: https://hackage.haskell.org/package/hedgehog [partial-semigroup]: https://hackage.haskell.org/package/partial-semigroup