Take notes on Monoids from the Category Theory perspective and implement them.

[ernestyalumni]

This may also involve learning about the following (can be separate tickets):

• natural transformations
• adjoint functors
  Consider reading Mac Lane Saunders' book first.