foo = case v of v -> x