foo :: (Maybe Int) -> a