Extending and Refining Types in Effect Typescript Without Repetition - Effect Community