 			here,
 			there,
 
-			Branches,
+			branches,
 			`case`,
 		])
 	}

			},
			lambda(enumeration) { E in
				Recur.lambda(.lambda(Tag[E], const(.Type))) { P in
					.lambda(branches[E, P], const(Recur.lambda(Tag[E]) { t in P[t] }))
				}
			})


		let enumeration = Recur("Enumeration")
		let label = Recur("Label")
		let cons = Recur("::")
		let Branches = Recur("Branches")

		// Tag : λ _ : Enumeration . Type
		// Tag = λ E : Enumeration . λ _ : Boolean . Tag E
