Schema Validation with Branded Types and Nominal Function in TypeScript - Effect Community