[Functional Programming ADT] Initialize Redux Application State Using The State ADT