let default _v _a _b : t = empty