2 IntListQ.deQ (IntListQ.emptyQ) TA_Exception 2 IntListQ.deQ ([],[[1];[2];[3]]) TA_Result ([1], ([], [[2];[3]])) 2 IntListQ.deQ (([[1];[2];[3];[4]], [[0]])) TA_Result ([0], ([[1];[2];[3];[4]], [])) 2 IntListQ.deQ (([[1];[2];[3];[4]], [])) TA_Result ([4], ([], [[3];[2];[1]]))