Ensuring Type Inference from Layers in TypeScript - Effect Community