AllTopLevel :: KeepKind  -- data constructor