Extracting the type of `S.literal('a','b','c')` and the limitations of `S.Schema.To<..>` - Effect Community