[Functional Programming ADT] Create State ADT Based Reducers (applyTo, Maybe)