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