Typing Success Value with Inferred E and R in Effect TypeScript - Effect Community