let defaultall _v : t = empty