< x : Bool | y : Type >