![]() |
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