let x : Bool = True in x