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