((foldr (*) 1) . \x -> [1..x]) 4 + 18