zipper はデータ構造に対して定まる元のデータ構造と「同型」（全単射がある）なデータ構造です
リストの zipper はリストと同型です