let empty = Empty