-- Relembrando foldr e seu tipo...

-- fold :: x -> y -> z -> w
-- fold :: x -> y -> [a] -> y
-- fold :: x -> y -> [a] -> y   {e :: a, es :: [a]}
-- fold :: (a -> y -> y) -> y -> [a] -> y  

-- e a função global vista até agora (mediafr), compondo as menores...

-- Mas varremos a lista duas vezes… Se eficiência for um problema,
-- podemos varrer só uma vez? Como em Java? Recursão diferente, acumulando
-- valores como parâmetros. Recursão direta.

mediaaux s t [] = s/t
mediaaux 
mediaaux s t [] = s/t
mediaaux s t [] = s/t