let x = Bool in True : x