Monoidはinstanceそれ自身が値になる