∀(x : Bool) → { x : Bool }