module M where

foo :: [Int] -> Maybe Int
foo [] = Nothing
foo xs = Just $! sum xs