caVdefg :: KeepKind -> Vdefg -> Vdefg