id x = x f (\x -> x) y = y main = f id "Foo" -- 3:3-3:12: Pattern was expected here.