let
e = empty