:: Monoid a => [a] -> a package:lens