Improving Error Messages for Union Types in TypeScript - Effect Community