f8 :: [a] -> a f8 (a:_) = a f8 [] = error "dasdsa"