Suppose

f :: [a] -> [a]
f = undefined

Now make the following property pass

property1 = f "" == ""