We can view a list as a free monoid. | |

That is this diagram commutes: |

This concept can be extended to other free structures see [R.M. Burstall and P.J. Landin, "Programs and their proofs, an algebraic approach", Machine Intelligence 4(1969)]

Lists as monads on this page