test a = foo (\x -> True)