import "Prelude"

f :: Maybe String -> String
f = \match
     Just a -> a
     Nothing -> ""

main = f Nothing + f (Just "foo")
--
foo