Schema + constructors + domain ops pattern for branded types - Effect Community