�x"\"$\/

	𝄞 ∀(a : Type) → a