Make use of RecordWildcards, explicit export list in Container module