Tree a のモノイド化