The empty part takes up zero horizontal and vertical space. The non-recursive version is EmptyF.
The expanded type:
{unfixed: {}} Copy
{unfixed: {}}
The empty part takes up zero horizontal and vertical space. The non-recursive version is EmptyF.
The expanded type: