On the Category of sets, the list monad sends to all finite ordered lists of elements of , including the empty list. Its unit inserts a singleton list and its multiplication concatenates a list of lists. Functoriality is entrywise application of functions. Ordered flattening proves the monad laws. This is the free-monoid monad, so order must not be discarded.
New to topics? Read the docs here!