Redid formatting
monoid experiment