Implementing Typed Effects with Restricted Outputs and Errors in TypeScript - Effect Community