Creating a Union of Branded Types - Effect Community