A list monad transformer made from the free monad of the list functor