f8 :: [a] -> a
f8 [a] = a