UNFOLD []
IS_EMPTY
FOLD

