Data.Generics.Strafunski.StrategyLib.MoreMonoids