eval2WHNF :: GMState -> GMState
eval2WHNF state
    = putDump (frame : getDump state) (putStack [a] (putCode [Unwind] state))
    where
        frame = (getCode state, stack)
        (a : stack) = getStack state
eval2WHNF :: GMState -> GMState
eval2WHNF state
    = putDump (frame : getDump state) (putStack [a] (putCode [Unwind] state))
    where
        frame = (getCode state, stack)
        (a : stack) = getStack state
eval2WHNF state
    = putDump (frame : getDump state) (putStack [a] (putCode [Unwind] state))
    where
        frame = (getCode state, stack)
        (a : stack) = getStack state