let max (l:'a list) : 'a = big max l