yay type checks