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