foo = case f v of _ -> x