let
defaultall _v : t = empty