Finished Monoids
Finished Monads