let
null = e_app0 mk_null