times
MultiplicativeSemigroup MultiplicativeSemigroupFunctions
tryProduct
MultiplicativeSemigroup MultiplicativeSemigroupFunctions
trySum
AdditiveSemigroup AdditiveSemigroupFunctions