{ x = True : { t = Bool }.t }