maximumBy package:non-empty

maximumBy is a total function