Normalize types when dropping absent arguments from workers
As described in #17852 (closed), absent unlifted newtypes are not dropped in the worker when performing a worker/wrapper split. This small patch fixes that by applying topNormaliseType_maybe
to unlifted types in WwLib.mk_absent_let
.
Edited by Alexis King