dec :: Num a
    => Tape a -- ^ The tape
    -> Tape a -- ^ The tape with the current position decremented
dec = update (+ (- 1))
dec :: Num a
    => Tape a -- ^ The tape
    -> Tape a
dec = update (+ (- 1))
dec = update (+ (- 1))