let x : Natural = True in True