∀(Bool : *) → ∀(True : Bool) → ∀(False : Bool) → Bool