Monoid

algebra

MonoidFunctions

algebra

max

Order OrderFunctions

maybeCombine

SemigroupFunctions

min

Order OrderFunctions