∀(x : Bool) → Kind