Description
Polyvariadic functions mapping to a given monoid.
Description
A polyvariadic function takes an indefinite number of possibly differently typed parameters. polyToMonoid provides two polyvariadic functions that map their parameters into a given monoid.