You're quite right! Thanks for the correction. I should have said that a list is an element of a free algebra over the List monad, which is less pithy.