Properties as a type, not as a data record
Introduce new Settings.hs