Error Reporting for Union types - Effect Community