Semigroup package:quickcheck-instances