{
  "handle": "Combine",
  "mechanism": "Merge two same-typed values into one. Associative, with an identity element (Empty) — together with Closure this makes the operation a monoid.",
  "gloss": "Binary merge operation",
  "invariants": [
    "Associativity: (A + B) + C = A + (B + C)",
    "Closure: Result type must match Input type"
  ],
  "_meta": {
    "tier": 1,
    "ring": 0,
    "path": [
      "Infrastructure",
      "Primitives"
    ],
    "supersedes": [
      "sema:Combine#mh:SHA-256:c465eb2ec32d4de2329827dbd943672f5f0b675716af0aca501ce9d157e309b9"
    ]
  },
  "sema_id": "sema:Combine#mh:SHA-256:5f8bc7d0ef143d4edeeea1ed81c4864a9cde7ded3b3eec2be25db3e9c3f51dc6",
  "sema_ref": "Combine#5f8b",
  "sema_stub": "5f8b",
  "sema_layer": "Infrastructure",
  "sema_category": "Primitives",
  "used_by": {
    "references": {
      "Compose": "sema:Compose#mh:SHA-256:196091975a98531824eec411da641b3e07a8b11d7c807e5f666d45eda717f5f7"
    }
  }
}