now for the list monad