Ensure failsafe combination using monoids by Brian Lonsdorf