Use lenses instead of RecordWildCards