Ideas for lenses Isos number-as-boolean number-as-date/-timestamp Normalization key normalization list sorting