This should probably be `Maybe (Zipper a)` for consistency, you don't get stuck at a fixed point for `left` or `right`, why should this happen for `up`?