VarTopLevel :: KeepKind  -- data constructor