Flow-bin: El flujo 0.57.3 no muestra errores

Probé el flujo 0.56.0 antes.
Cometí algunos errores a propósito, que la versión anterior mostraba correctamente.
En 0.57.3, sin embargo, el flujo dice _Sin errores_.

¿Estoy haciendo algo mal o la versión actual no funciona?

En otros comentarios:
Siguiendo la documentación oficial que estoy usando
una Unión disjunta para acciones redux. Esperaba que el flujo arrojara un error si no proporciono
casos para cada acción en mi reductor, pero el flujo de alguna manera parece estar bien con eso.

// types
const INIT = 'INIT'
const USER_FETCH_SUCCESS = 'USER_FETCH_SUCCESS'
const USER_FETCH_FAIL = 'USER_FETCH_FAIL'

type User = {
  +id: string,
  +name: string,
  +age: number
}

type Init = {| type: typeof INIT |}
type UserFetchSuccess = {| type: typeof USER_FETCH_SUCCESS, payload: User |}
type UserFetchFail = {| type: typeof USER_FETCH_FAIL, payload: Object |}

type Action = Init | UserFetchSuccess | UserFetchFail

// Reducer
const fakeUserReducer = (state: State = {
  loading: false,
  user: null,
  error: null
}, action: Action): State => {
  switch (action.type) {
    case INIT:
      return loop(
        {...state, loading: true},
        Cmd.run(fetchUser, {
          successActionCreator: userFetchSuccessfulAction,
          failActionCreator: userFetchFailedAction,
          args: ['userA']
        })
      )

    case USER_FETCH_SUCCESS:
      return { ...state, user: action.payload, loading: false }

     // Flow wont throw an error, even if this case is missing
    // case USER_FETCH_FAIL:
      // return { ...state, error: action.payload, loading: false }

    default:
      return state
  }
}