min-max aggregates should take a term with any kind of return type

[Broes De Cat]

The minimum and maximum aggregates only require a total order on the domain, not any operations such as + or *. Consequently, they should be applicable to any type, as we always have a total order.