foo = case v of _ | False -> x