< x: T | y = t | z | w: T >