-- | @emptyp z@ returns @True@ if the zipper is completely empty.
-- forall z. emptyp z == beginp z && endp z
emptyp :: Zipper a -> Bool
emptyp (Zip [] []) = True
emptyp :: Zipper a -> Bool
emptyp (Zip [] []) = True
emptyp (Zip [] []) = True