:: Num a => [a] -> a package:ad