>>> minimum [ Arg (x * x) x | x <- [-10 .. 10] ] Arg 0 0
>>> Max (Arg 0 ()) <> Max (Arg 1 ()) Max {getMax = Arg 1 ()}
>>> Min (Arg 0 ()) <> Min (Arg 1 ()) Min {getMin = Arg 0 ()}