let empty () = []