because list is a (the?) free monoid.

Yes, all free monoids are isomorphic (to lists).

Sebastian