odFocus :: (a -> a) -> Tape a -> Tape a
modFocus f (Tape a b c) = Tape a (f b) c

modFocus :: (a -> a) -> Tape a -> Tape a
modFocus f (Tape a b c) = Tape a (f b) c
modFocus f (Tape a b c) = Tape a (f b) c