Data.Max
data Max a