モノイド
モノイドに両端のインデックスを追加したものもモノイド