< x : Bool | y | z : Type >