--

foldrn             ::  (a -> b -> b) -> (a -> b) -> [a] -> b
foldrn f g [x]     =   g x
foldrn             ::  (a -> b -> b) -> (a -> b) -> [a] -> b
foldrn f g [x]     =   g x
foldrn f g [x]     =   g x