为什么Flow在详尽检查中不支持常量？

Question

我想知道Flow为什么不支持常量？如何使用Redux动作类型常量？为每个动作类型创建流文字类型？这是不真实的！该如何解决？

const S: 'S' = 'S';

function foo(arg: typeof S): number {
  switch(arg) {
      // string literal 'S' give no error
      case S:
        return 42;
    default:
      return (arg: empty);
      //      ^ Cannot cast `arg` to empty because string literal `S` [1] is incompatible with empty [2].
  }
}