Type safe reducers without boilerplate