Preserving Branded Types in Model Encoding for Database Operations - Effect Community