foo :: Maybe Int -> a