Monoidっぽいものを追加したつもりだがよくわからないんだぜ