Aggregation - Max
Kata:
Compute the maximum of the elements from an input.