-- !!! split definition of f (error)
f [] = []
g x = x
f (x:xs) = []