if True then Kind else Kind