Enforcing Type Safety in TypeScript Context - Effect Community